asprin (pypi): Qualitative and quantitative optimization in answer set programming
Keywords: logic|answer|set|programming|preference|optimization