0install-solverversion

Package dependency solver

A package dependency resolver based on a SAT solver. This was originally written for the 0install package manager, but is now generic and is also used as a solver backend for opam. The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the application to package management is based on OPIUM (Optimal Package Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find the optimal solution extremely quickly (even for a SAT-based solver).

Authorzero-install-devel@lists.sourceforge.net
LicenseLGPL-2.1-or-later
Published
Homepagehttps://docs.0install.net/developers/solver/
Issue Trackerhttps://github.com/0install/0install/issues
Maintainertalex5@gmail.com
Dependencies
Source [http] https://github.com/0install/0install/releases/download/v2.18/0install-2.18.tbz
sha256=648c4b318c1a26dfcb44065c226ab8ca723795924ad80a3bf39ae1ce0e9920c3
sha512=6d4734754951fad9caad5d876a1301e283bdd77a080d6601d57b21c540a30a616b18f664cbd4f86748c90de41cf3ef54f3a883fd75f638abbe3630a0320e4a7f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/0install-solver/0install-solver.2.18/opam