cmodels(diff)

cmodels(diff) is a system that uses Satisfiability Modulo Theories (SMT) solvers to find answer sets of Constraint Answer Set Programming (CASP) programs. The system can handle non-tight programs and enumerate multiple answer sets.

Data and Resources

Cite this as

Da Shen, Yuliya Lierler (2024). Dataset: cmodels(diff). https://doi.org/10.57702/zmgm435o

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.1905.03334
Author Da Shen
More Authors
Yuliya Lierler
Homepage https://www.unomaha.edu/college-of-information-science-and-technology/natural-language-processing-and-knowledge-representation-lab/software/cmodels-diff.php