Participants - ASP Competition 2011

ASP Competition 2011: Participants

Participants

This is the complete list of the participants to the Official Tracks of 3rd ASP Competition. Follow related links for more details.

System Track

System Name	Team
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

ASP Competition 2011: Participants (last edited 2011-05-22 10:14:32 by FrancescoCalimeri)