Qualitative and quantitative optimization in answer set programming.
conda install potassco::asprin
Asprin is a solver for qualitative and quantitative optimization in answer set programming.