welcome: please sign in
location: Diff for "Participants"
Differences between revisions 25 and 31 (spanning 6 versions)
⇤ ← Revision 25 as of 2011-05-17 14:38:35 →
Size: 1598
Editor: CarmenSantoro
Comment:
← Revision 31 as of 2011-05-18 20:16:40 → ⇥
Size: 1980
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
||<style="font-weight: bold; text-align: center;">claspd || || ||
||<style="font-weight: bold; text-align: center;">claspfolio || || ||
||<style="font-weight: bold; text-align: center;">clasp || || ||
||<style="font-weight: bold; text-align: center;">idp || || ||
||<style="font-weight: bold; text-align: center;">cmodels || || ||
||<style="font-weight: bold; text-align: center;">lp2diffz3 || || ||
||<style="font-weight: bold; text-align: center;">sup || || ||
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat || || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat || || ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat || || ||
||<style="font-weight: bold; text-align: center;">smodels || || ||



||[[Participants/Cmodels|Cmodels]] || || ||
||[[Participants/IDP|IDP]] || || ||
||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] || ||[[http://potassco.sourceforge.net/|URL]] ||
||[[Participants/SUP|SUP]] || || ||
||Smodels || ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||


 ||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">idp ||[[Participants/IDP|IDP]] || ||
||<style="font-weight: bold; text-align: center;">cmodels ||[[Participants/Cmodels|Cmodels]] || ||
||<style="font-weight: bold; text-align: center;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">sup ||[[Participants/SUP|SUP]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat ||[[Participants/Aalto_lp2sat2gminisat |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat ||[[Participants/Aalto_lp2sat2minisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat ||[[Participants/Aalto_lp2sat2lminisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">smodels ||[[Participants/Aalto_smodels |Aalto]]||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
Line 33: Line 22:
||[[Participants/BPSolver|BPSolver]] || ||
Line 34: Line 24:
||[[Participants/FastDownward|Fast Downward]] || ||
Line 36: Line 27:

Participants

System Track


System Name

Team

Web Site

claspd

Potassco

URL

claspfolio

Potassco

URL

clasp

Potassco

URL

idp

IDP

cmodels

Cmodels

lp2diffz3

Aalto

sup

SUP

lp2sat2gminisat

Aalto

lp2sat2minisat

Aalto

lp2sat2lminisat

Aalto

smodels

Aalto

URL

Model and Solve Track


Team

Web Site

Aclasp

BPSolver

EZCSP

Fast Downward

IDP

Potassco

URL

ASP Competition 2011: Participants (last edited 2011-06-25 10:11:35 by GiovambattistaIanni)