Diff for "ToolsUtilities" - ASP Competition 2011

Differences between revisions 2 and 3

Tools, utilities and miscellanea

Some sample encodings in ASP-Core and ASP-RfC
ASP-Core parser sources.
ASP-RfC parser sources.
SHIFTER tool A command line tool that takes from stdinput an ASPCore program and rewrites it by performing either disjunctive program shifting (no HCF check is performed) and/or transformation of ground queries in strong contraints.

ASP Competition 2011: ToolsUtilities (last edited 2011-01-28 14:21:33 by FrancescoRicca)

-  ⇤ ← Revision 2 as of 2010-12-11 10:22:35 → 
  Size: 230
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 3 as of 2010-12-13 16:38:51 → ⇥
  Size: 495
  Editor: FrancescoRicca
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 6:
+ * [[attachment:shifter.zip|SHIFTER tool]] A command line tool that takes from stdinput an ASPCore program and rewrites it by performing either disjunctive program shifting (no HCF check is performed) and/or transformation of ground queries in strong contraints.