
Apt-Mancoosi is a bash script that implements the mancoosi modular solver
infrastructure (see the "mancoosi cycle" [1]) . 

To run it, your systems needs to be able to execute a set of binary
programs contained in the bin subdirectory, as well as the dudf-save
Python script.

On a Debian machine, it may often happen that the following needed
packages are not yet installed, so you should install them first:

  dctrl-tools, zlib1g, python-lxml, python-debian, python (>= 2.5)

After making sure these packages are present, just link apt-mancoosi
in this directory to your preferred location, and invoke it as
explained in the README file.

[1] http://www.dicosmo.org/space/PlaquetteMancoosi-rotated.pdf

The Mancoosi team

Wed Aug 18 2010 Pietro Abate <pietro.abate@pps.jussieu.fr>



