package 0install-solver

  1. Overview
  2. Docs

Module Zeroinstall_solverSource

Sourcemodule S : sig ... end

Some useful abstract module types.

Sourcemodule Make (Input : S.SOLVER_INPUT) : sig ... end

Select a compatible set of components to run a program. See Zeroinstall.Solver for the instantiation of this functor on the actual 0install types.

Sourcemodule Diagnostics (Result : S.SOLVER_RESULT) : sig ... end

Explaining why a solve failed or gave an unexpected answer.

Sourcemodule Sat : sig ... end

The low-level SAT solver.