#acl EditorsGroup:read,write,delete,revert,admin All:read
= 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.

{{{#!wiki comment
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-cmodels.zip|download]]
}}}