prop → bdd Relation

File in src/solvers/prop	Includes file in src/solvers/bdd
bdd_expr.h	bdd.h