Participants - ASP Competition 2011

welcome:

Revision 34 as of 2011-05-22 09:56:33

location: Participants

Participants

System Track

System Name	Team	Web Site
claspd	Potassco - 1	URL
claspfolio	Potassco - 2	URL
clasp	Potassco - 3	URL
idp	IDP
cmodels	Cmodels
sup	SUP
lp2diffz3	Aalto - 1
lp2sat2gminisat	Aalto - 2
lp2sat2minisat	Aalto - 3
lp2sat2lminisat	Aalto - 4
smodels	Aalto - 5	URL

Model and Solve Track

Team	Web Site
Aclasp
BPSolver
EZCSP
Fast Downward
IDP
Potassco	URL