Michael Fourman >> Tools

PropPlan a BDD-based planner

PropSat a BDD-based tool for specifying and reasoning about finite models

These are based on interfaces from PolyML to the CMU libbdd package and the BuDDy BDD package.