Participants - ASP Competition 2011

ASP Competition 2011: Participants

Participants

System Track

System Name	Team	Web Site
claspd	Potassco	URL
claspfolio	Potassco	URL
clasp	Potassco	URL
idp	IDP
cmodels	Cmodels
sup	SUP
lp2diffz3	Aalto
lp2sat2gminisat	Aalto
lp2sat2minisat	Aalto
lp2sat2lminisat	Aalto
smodels	Aalto	URL

Model and Solve Track

Team	Web Site
Aclasp
BPSolver
EZCSP
Fast Downward
IDP
Potassco	URL

ASP Competition 2011: Participants (last edited 2011-05-22 09:48:41 by FrancescoCalimeri)