CMODELS is an answer set programming system that uses the same frontend LPARSE as answer set solver SMODELS. CMODELS main computational characteristics is that it computes answer sets using a SAT solver for search.

PDF

In ALP Newsletter 2007.

@Misc{LierlerALP2007, title={Cmodels: SAT-based Answer Set Programming System}, author={Yuliya Lierler and Marco Maratea}, booktitle={ALP Newsletter}, url="http://www.cs.utexas.edu/users/ai-lab?LierlerALP2007", year={2007} }