bdd → miniBDD Relation

File in src/solvers/bdd	Includes file in src/solvers/bdd/miniBDD
bdd_miniBDD.h	miniBDD.h