Diff for "Participants" - ASP Competition 2011

Differences between revisions 30 and 32 (spanning 2 versions)

Participants

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

-  ⇤ ← Revision 30 as of 2011-05-18 20:05:41 → 
  Size: 1773
  Editor: CarmenSantoro
  Comment:
+   ← Revision 32 as of 2011-05-22 08:15:45 → ⇥
  Size: 1984
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-#acl EditorsGroup:read,write,delete,revert,admin All:
+#acl EditorsGroup:read,write,delete,revert,admin All:read
 Line 11:
-||<style="font-weight: bold; text-align: center;">lp2diffz3 || || ||
+||<style="font-weight: bold; text-align: center;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto]] || ||
 Line 13:
-||<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]] ||
+||<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]] ||