Bug#1076364: ITP: 0install-solver -- package dependency solver

[Stéphane Glondu <glondu@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glondu@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-maint@lists.debian.org

* Package name    : 0install-solver
  Version         : 2.18
  Upstream Contact: Thomas Leonard
* URL             : https://github.com/0install/0install
* License         : LGPL-2.1
  Programming Lang: OCaml
  Description     : 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).

This package is a new transitive dependency of opam. It will be
maintained in the OCaml Team.