{"name":"clingcon","portdir":"math/clingcon","version":"5.2.1","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://potassco.org/clingcon","description":"Extension of clingo to handle constraints over integers","long_description":"Clingcon is an answer set solver for constraint logic programs, building upon the answer set solver clingo. It extends the high-level modeling language of ASP with constraint solving capacities. Constraints over finite domain integer variables can be used in logic programs. Clingcon adopts state-of-the-art techniques from the area of SMT, like conflict-driven learning and theory propagation. It uses lazy nogood and variable generation on the order encoding and features several preprocessing techniques.","active":true,"categories":["math"],"maintainers":[{"name":"vital.had","github":"barracuda156","ports_count":2571}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-17"]},{"type":"lib","ports":["clingo"]}],"depends_on":[]}