|
Size: 2462
Comment:
|
Size: 3104
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto ||AVAILABLE SOON || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto ||AVAILABLE SOON || |
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-idp.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-cmodels.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-sup.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2diffz3.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto || [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2gminisat.zip|download]] || |
Participants
This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. For the sake of reproducibility, a packages with binaries, scripts and settings used for testing is also available for all participants.
System Track
System Name |
Team |
Run Package |
Potassco (URL) |
||
Potassco (URL) |
||
Potassco (URL) |
||
IDP |
||
Cmodels |
||
SUP |
||
Aalto |
||
Aalto |
||
Aalto |
AVAILABLE SOON |
|
Aalto |
AVAILABLE SOON |
|
Aalto (URL) |
AVAILABLE SOON |