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