files: 

bw.pl 		the operator descriptions for blocks world
anomaly		facts for anomaly example
bw-large.c      facts for large.c
bw-large.d      facts for large.d
bw-large.e      facts for large.e

bw-large.c-t7   bw-large.c but with situation t8 removed.
		Similar for others


bw-large.c.sm	a grounded and parsed program for large.c 
                in the internal representation of smodels. 
		Similar for others

To run an example:

UNIX> cat bw.pl anomaly | parse | smodels

or 

UNIX> cat bw.pl bw-large.c | parse > bw-large.c.sm
UNIX> smodels < bw-large.c.sm

To extract a plan 

UNIX> smodels < bw-large.c.sm | awk -f plan.awk

To run all tests:

UNIX> run-test