Botch

Botch stands for Bootstrap/Build Order ToolCHain. It consists of a number of tools that aid in breaking dependency cycles and generating a build order so that Debian can be bootstrapped.

Opam

OPAM is an open-source package manager for the OCaml programming language. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Apt-Get (via apt-cudf)

Apt-get is the standard package manager for debian. Using apt-cudf it can use external dependency solvers using the '--solver' command line option.

Debian Weather Service

Dose/Ditscheck is used by the Debian QA team as an ongoing effort to detect and fix installability related bugs.

Opam Weather Service

The OWS uses distcheck to check the health of the official OPAM repository.

Equinox P2 Cudf Resolver

A frontend to p2 that allows p2 to resolve Linux dependencies. The input and output format is CUDF. This format has been designed by the Mancoosi European project to foster improvements in dependency resolution solvers.

Mancoosi Project

Mancoosi was a European research project in the 7th Research Framework Programme (FP7) of the European Commission. The project started February 1st, 2008, and closed in 2012. The Dose library was developed during this time.