logicmoo_planners
-
With pddl, Boolean variables are created from the pddl predicates.
Variables are named after the pddl predicates, `variable().`
Each variable contains exactly two values (one `true`, one `false`) of the form `value(, )`.
Note that with pddl, variables and values are named identically.