aspcore 1.0

This parser recognizes ASP-Core programs in compliance with
language specifications of the 3d Answer Set Programming Competition.

--------------------------------------------
How To Build aspcore

To build and get the program binary (aspcore or aspcore.exe depending 
on your platform), just type 

make 

on your command prompt.

You might want to read the Makefile for enabling proper debugging 
options.

Tested with the following bison+flex+gcc versions:
 
Flex :		2.5.35
GNU Bison :	2.4.1
GCC: 		4.3.3

--------------------------------------------
How To Execute aspcore

simply type:

./aspcore filename	

on your command prompt.

--------------------------------------------
How To Execute multiple tests for aspcore

the provided script "parser_checker.pl", is a simple perl program for
doing batch testing of a number of ASP-Core encodings. 
Simply type:

./parser_checker.pl filepattern

for launching aspcore on multiple programs (requires aspcore binaries in 
the current folder)
