Participants
System Track
System Name |
Team |
Web Site |
claspd |
|
|
claspfolio |
|
|
clasp |
|
|
idp |
|
|
cmodels |
|
|
lp2diffz3 |
|
|
sup |
|
|
lp2sat2gminisat |
|
|
lp2sat2minisat |
|
|
lp2sat2lminisat |
|
|
smodels |
|
|
Model and Solve Track