package 0install-solver

  1. Overview
  2. Docs
module S : sig ... end

Some useful abstract module types.

module 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.

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

Explaining why a solve failed or gave an unexpected answer.

module Sat : sig ... end

The low-level SAT solver.