libCUDF

libCUDF is a library to manipulate CUDF documents; libCUDF acts as the reference implementation of the CUDF specifications.

See the CUDF page for more info on libCUDF; downloads are available from the Mancoosi Forge.

dose3

Dose3 is a framework made of several OCaml libraries for managing distribution packages and their dependencies.

Though not tied to any particular distribution, dose3 constitutes a pool of libraries which enable analyzing packages coming from various distributions.

Besides basic functionalities for querying and setting package properties, dose3 also implements algorithms for solving more complex problems (monitoring package evolutions, correct and complete dependency resolution, repository-wide uninstallability checks).

Full source code are available on the [Mancoosi Project Forge] (http://gforge.info.ucl.ac.be/projects/mancoosi/).

The latest release is available here.

URPMI

URPMI is the Mandriva package manager.

Currently, the legacy version of urpmi in Mandriva has native support for DUDF generation via the urpmi-dudf package. So you should get urpmi-dudf by the usual means (by using rpmdrake or urpmi itself).

CUDF solvers

The following are the first implementations of CUDF-based solvers which have participated to the Mancoosi internal Solver Competition

Each solver takes a CUDF upgrade description as input and computes a solution according to some criteria (see each solver for more information).

Apt-Mancoosi

Apt-Mancoosi is a proof of concept wrapper that implements the Mancoosi modular solver infrastructure (see the mancoosi cycle).

Apt-Mancoosi takes as input a DUDF file or an apt-get command line. In the second case, it assumes that the host machine is running a Debian(-based) distribution and that apt-get is installed on the system. DUDF files representing real upgrade problems can be downloaded from the Mancoosi Debian DUDF repository.

Download Apt-Mancosi

mancoosi-contest

mancoosi-contest offers utilities to collect upgrade scenarios from your machine and submit it to a corpus of "upgrade problems" that can be used to experiment with new solving algorithms, strategies, and tools. Currently, only the dudf-save utility for Debian-based machine is provided: it acts as a wrapper around apt-get or aptitude and encode your complete ugprade scenarios in a DUDF document, that can be later on translated into CUDF.

you should get the mancoosi-contest from the APT repository available at http://mancoosi.debian.net (check the documentation for APT configuration info)

Mancoosi Forge

Additionally, under development pieces of software (including development snapshots of the above releases) are always available from the Mancoosi Project Forge. To access the forge you need a username/password: you can use mancoosi/mancoosi if you want anonymous access.