GitHub repository: potassco/asprin
Primary language: Python
Created: 2016-11-16T09:49:54Z
Description: Qualitative and quantitative optimization in answer set programming