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 (
pareto, …) are already defined in
asprin’s library, but many more can be defined simply writing a logic program.
For downloads and resources, please go to our GitHub repository.