Diff for "ToolsUtilities" - ASP Competition 2011

Differences between revisions 7 and 8

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) 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-templates, quick-ﬁxes, 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 ASP-Core profile.

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

-  ⇤ ← Revision 7 as of 2010-12-19 18:46:40 → 
  Size: 1058
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 8 as of 2010-12-19 18:46:58 → ⇥
  Size: 1052
  Editor: GiovambattistaIanni
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
- * [[https://www.mat.unical.it/ricca/aspide/|'''ASPIDE''']] (Integrated Development Environment for Answer Set Programming) 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-templates, quick-ﬁxes, 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 ASP-Core profile.
+ * [[https://www.mat.unical.it/ricca/aspide/|ASPIDE]] (Integrated Development Environment for Answer Set Programming) 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-templates, quick-ﬁxes, 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 ASP-Core profile.