bdd → util Relation

File in src/solvers/bdd	Includes file in src/util
bdd_cudd.h	narrow.h
miniBDD / miniBDD.cpp	invariant.h