This directory contains an LLF encoding of a simple instance of the
blocks world planning problem.