The metasp encodings are maintained within the clingo project in the examples/reify/ folder. This page is kept for reference.

The metasp project comprises a set of encodings that allow for handling complex optimization criteria, e.g., inclusion-based minimization or Pareto efficiency. For solving, the Potassco tools gringo 3 and clasp 3 (previously claspd) are used.

Publications

Martin Gebser, Roland Kaminski and Torsten Schaub, Complex Optimization in Answer Set Programming: Extended Version, [Experiments]