welcome: please sign in
location: Diff for "ToolsUtilities"
Differences between revisions 5 and 6
Revision 5 as of 2010-12-19 17:36:18
Size: 617
Comment:
Revision 6 as of 2010-12-19 17:43:50
Size: 1057
Comment:
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
 * ASPIDE: Integrated Development Environment for Answer Set Programming [[https://www.mat.unical.it/ricca/aspide/]]  * '''ASPIDE''' (Integrated Development Environment for Answer Set Programming) [[https://www.mat.unical.it/ricca/aspide/]] supports the entire life-cycle of ASP development, from (assisted) programs editing to execution. ASPIDE integrates a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templetes, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition. ASPIDE supports the language of the DLV system as well as the ASPCore profile.

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/ supports the entire life-cycle of ASP development, from (assisted) programs editing to execution. ASPIDE integrates a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templetes, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition. ASPIDE supports the language of the DLV system as well as the ASPCore profile.

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