welcome: please sign in
location: Diff for "Participants"
Differences between revisions 8 and 9
Revision 8 as of 2013-05-23 21:36:10
Size: 2261
Comment:
Revision 9 as of 2013-05-23 21:39:16
Size: 2251
Comment:
Deletions are marked like this. Additions are marked like this.
Line 11: Line 11:
|| [[Participants\claspD-2|claspD-2]]     || - ||
|| [[Participants\claspD-2-asp-core2|claspD-2-asp-core2]]     || - ||
|| [[Participants\claspD-2-mt|claspD-mt]]     || - ||
|| [[Participants\claspD-2|claspD-2]] || - ||
|| [[Participants\claspD-2-asp-core2|claspD-2-asp-core2]] || - ||
|| [[Participants\claspD-2-mt|claspD-2-mt]] || - ||

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, a package with binaries, scripts and settings submitted by participants during the Competition will be available.

System Track

System Name

Run Package

clasp

-

claspD-2

-

claspD-2-asp-core2

-

claspD-2-mt

-

claspfolio

-

claspfolio-mt

-

clasp-mt

-

IDP3

-

LP2BV-1

-

LP2BV-2

-

LP2MIP

-

LP2MIP-mt

-

LP2SAT

-

LP2SAT-mt

-

LP2SOLRED-mt

-

WASP

-

Model and Solve Track

Team Name

Run Package

B-Prolog

-

Enfragmo

-

ezcsp

-

IDP2

-

IDP3

-

INCA

-

Potassco

-

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