Package: lib0install-solver-ocaml-dev
Source: 0install-solver
Version: 2.18-1build6
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1693
Depends: lib0install-solver-ocaml-jvq03, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1
Provides: lib0install-solver-ocaml-dev-jvq03
Section: ocaml
Priority: optional
Homepage: https://docs.0install.net/developers/solver/
Description: package dependency solver (dev)
 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 contains development files.
