#acl EditorsGroup:read,write,delete,revert,admin All: == Participants == === Model and Solve Track === <
> ||'''System Name''' ||'''URL''' || ||[[Participants/aclasp|aclasp]] || || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|URL]] || === System Track === <
> ||'''System Name''' ||'''URL''' || ||Cmodels || || ||IDP || || ||[[Participants/clasp(folio)(d)-Potassco|clasp(folio)(d)-Potassco]]||[[http://potassco.sourceforge.net/|URL]] || ||Smodels ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||