#acl EditorsGroup:read,write,delete,revert,admin All:read == Participants == This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. For the sake of reproducibility, a packages with binaries, scripts and settings used for testing is also available for all participants. === System Track === ||'''System Name''' ||'''Team''' ||'''Run Package''' || ||[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]] || ||[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]] || ||[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]] || ||[[Participants/IDP|idp]] ||IDP || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-idp.zip|download]] || ||[[Participants/Cmodels|Cmodels]] ||Cmodels || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-cmodels.zip|download]] || ||[[Participants/SUP|sup]] ||SUP || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-sup.zip|download]] || ||[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2diffz3.zip|download]] || ||[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2gminisat.zip|download]] || ||[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2minisat.zip|download]] || ||[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2lminisat.zip|download]] || ||[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-smodels.zip|download]] || === Model and Solve Track === ||'''Team''' ||'''Run Package''' || ||[[Participants/aclasp|Aclasp]] ||AVAILABLE SOON || ||[[Participants/BPSolver|BPSolver]] ||AVAILABLE SOON || ||[[Participants/EZCSP|EZCSP]] ||AVAILABLE SOON || ||[[Participants/FastDownward|Fast Downward]] ||AVAILABLE SOON || ||[[Participants/Model&Solve-IDP|IDP]] ||AVAILABLE SOON || ||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON ||