Files:
bw             ...   dlv program describing the blocks world.
P2, P3, P4, P5 ...   Some small blocks world instances by Esra Erdem
                     taken from the ccalc homepage.
bw-large.c,
bw-large.d,
bw-large.e     ...   Some harder blocks world instances by Ilka Niemela
                     taken from the smodels homepage.

Sample command line call:
$ dlv bw bw-large.c -n=1 -pfilter=moveop
