javabdd project
The project description can be found here: http://javabdd.sourceforge.net This version of the code has printouts eliminated.
In order to build the project, navigate to JavaBDD directory and execute the command below.
mvn clean install