#acl EditorsGroup:read,write,delete,revert,admin All:
= CModels =
<<TableOfContents>>

== Association ==
University of Kentucky

== Description ==
Uses the grounder [[http://potassco.sourceforge.net/|Gringo v. 3.0.3]] and the SAT-based answer set solver [[http://www.cs.utexas.edu/users/tag/cmodels/|Cmodels v. 3.81]] (with SAT solver [[http://minisat.se/|Minisat v. 2.0 beta]]).

== Participants ==
 * Yulia Lierler

== System Settings ==
All the underlying systems were used with default settings.