Size: 1794
Comment:
|
Size: 1866
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 6: | Line 6: |
||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] || || ||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] || || ||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] || || |
||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || ||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || ||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || |
Participants
System Track
System Name |
Team |
Web Site |
claspd |
||
claspfolio |
||
clasp |
||
idp |
|
|
cmodels |
|
|
lp2diffz3 |
|
|
sup |
|
|
lp2sat2gminisat |
|
|
lp2sat2minisat |
|
|
lp2sat2lminisat |
|
|
smodels |
|
|
Model and Solve Track