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.