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 takes from stdinput an ASPCore program and rewrites it by performing either disjunctive program shifting (no HCF check is performed) and/or transformation of ground queries in strong contraints.