|
Size: 515
Comment:
|
Size: 911
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 15: | Line 15: |
---- /!\ '''Edit conflict - other version:''' ---- ||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|Potassco|URL]] || ---- /!\ '''Edit conflict - your version:''' ---- |
|
| Line 16: | Line 21: |
---- /!\ '''End of edit conflict''' ---- |
|
| Line 19: | Line 26: |
---- /!\ '''Edit conflict - other version:''' ---- ---- /!\ '''Edit conflict - your version:''' ---- ---- /!\ '''End of edit conflict''' ---- |
Participants
Model and Solve Track
System Track
System Name |
URL |
![/!\](/wiki/monikerGB/img/alert.png "/!\"){kind=small}
Edit conflict - other version:
Edit conflict - your version:
End of edit conflict
Cmodels |
|
IDP |
|
Smodels |
Edit conflict - other version:
Edit conflict - your version:
End of edit conflict