welcome: please sign in
location: Diff for "Participants"
Differences between revisions 1 and 28 (spanning 27 versions)
⇤ ← Revision 1 as of 2011-05-10 15:30:19 →
Size: 328
Editor: CarmenSantoro
Comment:
← Revision 28 as of 2011-05-17 14:53:08 → ⇥
Size: 1676
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:

== Partecipants ==
 == Participants ==
=== System Track ===
<<BR>>
||<tablewidth="307px" tableheight="228px" tablestyle="">'''System Name''' ||'''Team''' ||'''Web Site''' ||
||<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 || || ||
||<style="font-weight: bold; text-align: center;">sup ||[[Participants/SUP|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 || ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
Line 7: Line 19:



=== System Track ===
Line 13: Line 20:
||'''System Name'''||'''URL'''||
||Potassco||[[http://potassco.sourceforge.net/|URL]]||
||Cmodels||||
||IDP||||
||Smodels||[[http://www.tcs.hut.fi/Software/smodels/|URL]]||		 ||<tablewidth="20%">'''Team''' ||'''Web Site''' ||
||[[Participants/aclasp|Aclasp]] || ||
||[[Participants/EZCSP|EZCSP]] || ||
||[[Participants/Model&Solve-IDP|IDP]] || ||
||[[Participants/Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||

Participants

System Track


System Name

Team

Web Site

claspd

Potassco

URL

claspfolio

Potassco

URL

clasp

Potassco

URL

idp

IDP

cmodels

Cmodels

lp2diffz3

sup

SUP

lp2sat2gminisat

lp2sat2minisat

lp2sat2lminisat

smodels

URL

Model and Solve Track


Team

Web Site

Aclasp

EZCSP

IDP

Potassco

URL

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