analyses → solvers Relation

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