cvs -d :pserver:email@example.com:/cvsroot/propplan export PropPlan
PropPlan is an open source AI planner.
PropPlan is a model-based AI planner. It uses Binary Decision Diagrams (BDDs) to represent sets of states.
Actions are represented as union-preserving maps from sets of states to sets of states. These are represented by operations on BDDs.