![51社区 logo](/_files/images/uno-icon-50.png"/){kind=icon}
![51社区 logo](/_files/images/uno-icon-50-noline.png"/){kind=icon}
CMODELS(DIFF) is an answer set programming solver which takes an answer set program processed by Lparse or and produces an compliant program. The resultant program is solved using a Satisfiability Modulo Theories solver such as .
CMODELS(DIFF) version 1.0.0 is available for download here (under ):
Theoretical and practical groundings for this work can be found in:
- Da Shen and Yuliya Lierler. . The 34th International Conference on Logic Programming (ICLP), 2018; Benchmarks discussed in this paper are posted here.
Comments, questions, and/or bugs can be reported to Da Shen and Yuliya Lierler