|
Size: 2255
Comment:
|
← Revision 13 as of 2013-09-06 13:44:57 ⇥
Size: 4460
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| For the sake of reproducibility, a package with binaries, scripts and settings submitted by participants during the Competition will be available. | For the sake of reproducibility, package with binaries, scripts and settings submitted by each participants during the Competition is available. |
| Line 10: | Line 10: |
| || [[Participants\clasp|clasp]] || - || || [[Participants\claspD-2|claspD]] || - || || [[Participants\claspD-2-asp-core2|claspD-asp-core2]] || - || || [[Participants\claspD-mt|claspD-mt]] || - || || [[Participants\claspfolio|claspfolio]] || - || || [[Participants\claspfolio-mt|claspfolio-mt]] || - || || [[Participants\clasp-mt|clasp-mt]] || - || || [[Participants\IDP3|IDP3]] || - || || [[Participants\LP2BV-1|LP2BV-1]] || - || || [[Participants\LP2BV-2|LP2BV-2]] || - || || [[Participants\LP2MIP|LP2MIP]] || - || || [[Participants\LP2MIP-mt|LP2MIP-mt]] || - || || [[Participants\LP2SAT|LP2SAT]] || - || || [[Participants\LP2SAT-mt|LP2SAT-mt]] || - || || [[Participants\LP2SOLRED-mt|LP2SOLRED-mt]] || - || || [[Participants\WASP|WASP]] || - || |
|| [[Participants\clasp|clasp]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_41.zip]] || || [[Participants\claspD-2|claspD-2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_43.zip]] || || [[Participants\claspD-2-asp-core2|claspD-2-asp-core2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_58.zip]] || || [[Participants\claspD-2-mt|claspD-2-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_44.zip]] || || [[Participants\claspfolio(-mt)|claspfolio]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_39.zip]] || || [[Participants\claspfolio(-mt)|claspfolio-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_40.zip]] || || [[Participants\clasp-mt|clasp-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_42.zip]] || || [[Participants\IDP3|IDP3]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_36.zip]] || || [[Participants\LP2BV-1|LP2BV-1]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_51.zip]] || || [[Participants\LP2BV-2|LP2BV-2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_61.zip]] || || [[Participants\LP2MIP|LP2MIP]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_52.zip]] || || [[Participants\LP2MIP-mt|LP2MIP-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_62.zip]] || || [[Participants\LP2SAT|LP2SAT]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_49.zip]] || || [[Participants\LP2SAT-mt|LP2SAT-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_63.zip]] || || [[Participants\LP2SOLRED-mt|LP2SOLRED-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_60.zip]] || || [[Participants\WASP|DLV+WASP]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_57.zip]] || |
| Line 30: | Line 30: |
| || [[Participants\B-Prolog|B-Prolog]] || - || || [[Participants\Enfragmo|Enfragmo]] || - || || [[Participants\ezcsp|ezcsp]] || - || || [[Participants\IDP2|IDP2]] || - || || [[Participants\IDP3|IDP3]] || - || || [[Participants\INCA|INCA]] || - || || [[Participants\Potassco|Potassco]] || - || |
|| [[Participants\B-Prolog|B-Prolog]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_38.zip]] || || [[Participants\Enfragmo|Enfragmo]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_53.zip]] || || [[Participants\ezcsp|ezcsp]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_47.zip]] || || [[Participants\IDP2|IDP2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_37.zip]] || || [[Participants\IDP3|IDP3]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_54.zip]] || || [[Participants\INCA|INCA]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_45.zip]] || || [[Participants\Potassco|Potassco]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_46.zip]] || |
Participants
This will be the complete list of the official participants to the Two Tracks of 4th ASP Competition: follow related links for more details.
For the sake of reproducibility, package with binaries, scripts and settings submitted by each participants during the Competition is available.
System Track