== 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 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/]]