Size: 328
Comment:
|
Size: 532
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 7: | Line 7: |
<<BR>> ||'''System Name'''||'''URL'''|| ||[[Participants/EZCSP|EZCSP]]||[[http://potassco.sourceforge.net/|URL]]|| ||Cmodels|||| ||IDP|||| ||Smodels||[[http://www.tcs.hut.fi/Software/smodels/|URL]]|| |