Branch of JavaBDD (http://javabdd.sourceforge.net/) with bugfixes and more. Original License: LGPLv2