|
Size: 494
Comment:
|
Size: 764
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| === Model and Solve Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''URL''' || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/aclasp|aclasp]] || || |
|
| Line 14: | Line 6: |
| ||<tablewidth="20%">'''System Name''' ||'''URL''' || ||Potassco ||[[http://potassco.sourceforge.net/|URL]] || ||Cmodels || || ||IDP || || |
||<tablewidth="20%">'''System Name''' ||'''Web Site''' || ||[[Participants/Cmodels|Cmodels]]|| || ||[[Participants/IDP|IDP]] || || ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]]||[[http://potassco.sourceforge.net/|URL]] || ||[[Participants/SUP|SUP]]|| || |
| Line 20: | Line 13: |
| === Model and Solve Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''Web Site''' || ||[[Participants/aclasp|Aclasp]] || || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/Model&Solve-IDP|IDP]] || || ||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|URL]] || |
|
| Line 21: | Line 21: |
