This project is a container for the following shared libraries for managing BDDs:
	* buddy:	https://sourceforge.net/projects/buddy/ 
	* cudd:		http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf
	* cal:		https://embedded.eecs.berkeley.edu/Research/cal_bdd/
