== Tools, utilities and miscellanea ==

 * Some [[EncodingsExamples|sample encodings]] in ASP-Core and ASP-RfC
 * [[attachment:aspcore.tar.gz|ASP-Core]] parser sources.
 * [[attachment:asprfc.tar.gz|ASP-RfC]] parser sources.
 * [[attachment:shifter.zip|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.