welcome: please sign in

You can't save spelling words.

Clear message
location: Participants

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

System Name

Run Package

clasp

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_41.zip

claspD-2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_43.zip

claspD-2-asp-core2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_58.zip

claspD-2-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_44.zip

claspfolio

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_39.zip

claspfolio-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_40.zip

clasp-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_42.zip

IDP3

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_36.zip

LP2BV-1

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_51.zip

LP2BV-2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_61.zip

LP2MIP

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_52.zip

LP2MIP-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_62.zip

LP2SAT

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_49.zip

LP2SAT-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_63.zip

LP2SOLRED-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_60.zip

DLV+WASP

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_57.zip

Model and Solve Track

Team Name

Run Package

B-Prolog

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_38.zip

Enfragmo

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_53.zip

ezcsp

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_47.zip

IDP2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_37.zip

IDP3

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_54.zip

INCA

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_45.zip

Potassco

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_46.zip

ASP Competition 2013: Participants (last edited 2013-09-06 13:44:57 by FrancescoCalimeri)