
pipesworld-notankage-ae.pddl: Pipesworld/notankage domain.
pipesworld-tankage-ae.pddl: Pipesworld/tankage domain.
atom-sets-pwn.pddl: Component atom sets for the notankage domain.
atom-sets-pwt.pddl: Component atom sets for the tankage domain.

convert-ipc4-problem: Script to convert problem instances in the
IPC-4 formulation to the alternative encoding. Written in LISP,
for GCL 2.6.{7|8}.

Usage: convert-ipc4-problem [options] <problem file>

All output is to stdout.

Options:
-set: Write component atom sets.
-add: Additive goal. The amounts in the goal spec are interpreted
as being in addition to the amount in the initial state. Note that
this can render problems unsolvable.
-g: Generate a graph (in DOT format) of the network. (No converted
problem will be output.)
-check: Check if the network is a tree. (No converted problem will
be output.)
-print-max: Calculate and print the maximum batch count. (No
converted problem will be output.)
-max <N>: Specify the maximum batch count.

generate-all.sh: Script to generate conversions of the IPC-4
problem sets (paths may need editing).

mk-line-problem.sh: Script to generate instances of the simple
"line" problem, as described in the paper.
