pddl2cnf is a translator associating with a classical planning instance encoded in PDDL (Planning Domain Definition Language) and a given horizon an output which consists of a CNF formula. The valid plans for the input planning instance correspond to the models of the corresponding output CNF formula, projected onto the action variables.

Any category    Compiler