pepy.tech

pddl-prover

1.0.0
3.86k

A python prover for evaluating FOL formulas on PDDL