New User Manual for the Wouldwork Planning Software

The Wouldwork Planner is classical planning software, useful for general state-space problem solving. It allows straightforward specification of a problem using English-like propositions, which are an extension of the planning language PDDL. The software is optimized for serial or parallel execution.