💊 Qualitative and quantitative optimization in answer set programming - View it on GitHub