Size: 764
Comment:
|
Size: 818
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
Line 6: | Line 5: |
||<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]]|| || ||Smodels ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || |
||<tablestyle="width: 307px; height: 228px;">'''System Name''' ||'''Team''' ||'''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]] || || || ||Smodels || ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || |
Line 15: | Line 17: |
||<tablewidth="20%">'''System Name''' ||'''Web Site''' || | ||<tablewidth="20%">'''Team''' ||'''Web Site''' || |
Line 19: | Line 21: |
||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|URL]] || | ||[[Participants/Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || |