pddl-prover

1.0.0
2.41k

A python prover for evaluating FOL formulas on PDDL