Given a CUDF package universe file and a MISC2012-compatible user request (see the MANCOOSI project website), this tool finds either an exact or an approximate solution to the package dependency problem. The solver is built on top of recent MaxSAT algorithms and MCS-based MaxSAT approximation. In order to use approximation, one needs to make sure "mcsls2" is available from the PATH environment variable.

Authors: Alexey Ignatiev, Mikolas Janota
Contributor: Joao Marques-Silva

Download: Linux x86-64 binary, MacOS X Mavericks x86-64 binary