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   

Go to the software webpage