|
Size: 3353
Comment:
|
Size: 3825
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. For the sake of reproducibility, a packages with binaries, scripts and settings used for testing is also available for all participants. | This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition: follow related links for more details. For the sake of reproducibility, a package with binaries, scripts and settings used for testing is also available for all participants. |
| Line 16: | Line 18: |
| ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2lminisat.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-smodels.zip|download]] || |
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2lminisat.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-smodels.zip|download]] || |
| Line 22: | Line 24: |
| ||[[Participants/aclasp|Aclasp]] ||AVAILABLE SOON || ||[[Participants/BPSolver|BPSolver]] ||AVAILABLE SOON || ||[[Participants/EZCSP|EZCSP]] ||AVAILABLE SOON || ||[[Participants/FastDownward|Fast Downward]] ||AVAILABLE SOON || ||[[Participants/Model&Solve-IDP|IDP]] ||AVAILABLE SOON || ||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON || |
||[[Participants/aclasp|Aclasp]] || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Aclasp.zip|download]] || ||[[Participants/BPSolver|BPSolver]] || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-BPSolver.zip|download]] || ||[[Participants/EZCSP|EZCSP]] || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-EZCSP.zip|download]] || ||[[Participants/FastDownward|Fast Downward]] || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Fast_Downward.zip|download]] || ||[[Participants/Model&Solve-IDP|IDP]] || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-IDP.zip|download]] || ||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Potassco.zip|download]] || |
Participants
This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition: follow related links for more details.
For the sake of reproducibility, a package with binaries, scripts and settings used for testing is also available for all participants.
System Track
System Name |
Team |
Run Package |
Potassco (URL) |
||
Potassco (URL) |
||
Potassco (URL) |
||
IDP |
||
Cmodels |
||
SUP |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto (URL) |