pombredanne / aspcud Goto Github PK

The aspcud project provides the converter/preprocessor cudf2lp to translate a CUDF specification into a set of facts. These facts together with an encoding can then be passed to an ASP grounder and solver to solve the package problem. The small C program aspcud takes care of this, calling the necessary tools and printing the result in CUDF format.

To run aspcud, use the installed aspcud binary (take a look at the examples folder to get started):

aspcud problem.cudf solution.cudf <criteria>

For this to work, clasp and gringo have to be installed. Solver and grounder are available at:

• https://github.com/potassco/clasp
• https://github.com/potassco/clingo

Check the installation instructions for more details.

The specification of CUDF documents and the supported criteria along with a lot of instances are available at the mancoosi homepage:

• http://www.mancoosi.org/
• http://www.mancoosi.org/cudf/
• http://www.mancoosi.org/misc-2012/criteria/
• http://data.mancoosi.org/misc2012/problems/

Either the encoding misc2012.lp or specification.lp can be used for solving the package problem (can be selected with option -e). The first encoding can typically solve harder problems than the second one. The second encoding is often faster on simpler instance though.

Aspcud is distributed under the MIT Licence.