Diff for "Participants" - ASP Competition 2011

Differences between revisions 27 and 29 (spanning 2 versions)

Participants

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

-  ⇤ ← Revision 27 as of 2011-05-17 14:46:57 → 
  Size: 1866
  Editor: CarmenSantoro
  Comment:
+   ← Revision 29 as of 2011-05-18 19:58:27 → ⇥
  Size: 1729
  Editor: CarmenSantoro
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 9:
-||<style="font-weight: bold; text-align: center;">idp || || ||
||<style="font-weight: bold; text-align: center;">cmodels || || ||
+||<style="font-weight: bold; text-align: center;">idp ||[[Participants/IDP|IDP]] || ||
||<style="font-weight: bold; text-align: center;">cmodels ||[[Participants/Cmodels|Cmodels]] || ||
 Line 12:
-||<style="font-weight: bold; text-align: center;">sup || || ||
+||<style="font-weight: bold; text-align: center;">sup ||[[Participants/SUP|SUP]] || ||
 Line 16:
-||<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;">smodels || ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
-Line 34:
+Line 23:
+||[[Participants/FastDownward|Fast Downward]] || ||