PDDL (Planning Domain Definition Language) is a standard language for defining planning problems.
MultiSat is written to understand a subset of PDDL, STRIPS and part of numerical functions.
It implemented breadth first search algorithm for solving an optimal planning problem, and
WalkSat, a local search algorithm. The current structure of MultiSat can be extended to
implement new planning/search algorithms.