|
Size: 1215
Comment:
|
← Revision 11 as of 2011-01-28 14:21:33 ⇥
Size: 1215
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 8: | Line 8: |
| * [[https://dtai.cs.kuleuven.be/krr/software/visualisation]|IDPDraw] A tool to visualise the output of an ASP solver. | * [[https://dtai.cs.kuleuven.be/krr/software/visualisation|IDPDraw]] A tool to visualise the output of an ASP solver. |
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, as well as other language transformations.
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-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 ASP-Core profile.
IDPDraw A tool to visualise the output of an ASP solver.