asprin is a general framework for qualitative and quantitative optimization in ASP that allows:

• computing optimal stable models of logic programs with preferences, and
• defining new preference types in a very easy way. Some preference types (subset, pareto, …) are already defined in asprin’s library, but many more can be defined simply writing a logic program.

Download

• Source code and binary releases are on github: github.com/potassco/asprin.

Documentation

• Starting with version 3, asprin is documented in the Potassco guide.
• Older versions are documented in the Potassco guide on Sourceforge.

Citing

• Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub, asprin: Customizing Answer Set Preferences without a Headache, AAAI, 2015