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