1980
Comment:
|
1984
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
#acl EditorsGroup:read,write,delete,revert,admin All: | #acl EditorsGroup:read,write,delete,revert,admin All:read |
Participants
System Track
System Name |
Team |
Web Site |
claspd |
||
claspfolio |
||
clasp |
||
idp |
|
|
cmodels |
|
|
lp2diffz3 |
|
|
sup |
|
|
lp2sat2gminisat |
|
|
lp2sat2minisat |
|
|
lp2sat2lminisat |
|
|
smodels |
Model and Solve Track