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.