2015
Comment:
|
1983
|
Deletions are marked like this. | Additions are marked like this. |
Line 20: | Line 20: |
||<tablewidth="20%">'''Team''' ||'''Web Site''' || ||[[Participants/aclasp|Aclasp]] || || ||[[Participants/BPSolver|BPSolver]] || || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/FastDownward|Fast Downward]] || || ||[[Participants/Model&Solve-IDP|IDP]] || || ||[[Participants/Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || |
||<tablewidth="20%">'''Team''' || ||[[Participants/aclasp|Aclasp]] || ||[[Participants/BPSolver|BPSolver]] || ||[[Participants/EZCSP|EZCSP]] || ||[[Participants/FastDownward|Fast Downward]] || ||[[Participants/Model&Solve-IDP|IDP]] || ||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) || |
Participants
This is the complete list of the participants to the Official Tracks of 3rd ASP Competition. Follow related links for more details on systems and teams.
System Track
System Name |
Team |
Potassco (URL) |
|
Potassco (URL) |
|
Potassco (URL) |
|
IDP |
|
Cmodels |
|
SUP |
|
Aalto |
|
Aalto |
|
Aalto |
|
Aalto |
|
Aalto (URL) |