welcome: please sign in
location: Diff for "ToolsUtilities"
Differences between revisions 1 and 3 (spanning 2 versions)
⇤ ← Revision 1 as of 2010-11-19 11:31:37 →
Size: 17
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 1: Line 1:
Empty, for now. == Tools, utilities and miscellanea ==

 * Some [[EncodingsExamples|sample encodings]] in ASP-Core and ASP-RfC
 * [[attachment:aspcore.tar.gz|ASP-Core]] parser sources.
 * [[attachment:asprfc.tar.gz|ASP-RfC]] parser sources.
 * [[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.

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)