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/