Size: 1676
Comment:
|
Size: 1773
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 22: | Line 22: |
||[[Participants/BPSolver|BPSolver]] || || | |
Line 23: | Line 24: |
||[[Participants/FastDownward|Fast Downward]] || || |
Participants
System Track
System Name |
Team |
Web Site |
claspd |
||
claspfolio |
||
clasp |
||
idp |
|
|
cmodels |
|
|
lp2diffz3 |
|
|
sup |
|
|
lp2sat2gminisat |
|
|
lp2sat2minisat |
|
|
lp2sat2lminisat |
|
|
smodels |
|
Model and Solve Track