GitHub repository: potassco/clingcon
Primary language: C++
Created: 2016-07-04T11:32:42Z
Description: ⛓️ Extension of clingo to handle constraints over integers