welcome: please sign in
location: Diff for "ToolsUtilities"
Differences between revisions 2 and 5 (spanning 3 versions)
⇤ ← Revision 2 as of 2010-12-11 10:22:35 →
Size: 230
Editor: GiovambattistaIanni
Comment:
← Revision 5 as of 2010-12-19 17:36:18 → ⇥
Size: 617
Editor: FrancescoRicca
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
 * [[attachment:shifter.zip|SHIFTER tool]] A command line tool that reads an ASPCore program from stdinput and rewrites it in stdout by performing: disjunctive program shifting (no HCF check is performed) and/or transformation of ground queries in strong contraints.
 * ASPIDE: Integrated Development Environment for Answer Set Programming [[https://www.mat.unical.it/ricca/aspide/]]

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 reads an ASPCore program from stdinput and rewrites it in stdout by performing: disjunctive program shifting (no HCF check is performed) and/or transformation of ground queries in strong contraints.

  • ASPIDE: Integrated Development Environment for Answer Set Programming https://www.mat.unical.it/ricca/aspide/

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