Fork of JavaBDD (http://javabdd.sourceforge.net/) - View it on GitHub