In order to build the project, the following projects must be built before :
javabip-core project (read its README.md to know how to build it). javabdd project (read its README.md to know how to build it). javabip-engine project (read its README.md to know how to build it).
You can build this project just by executing the command below.
mvn clean install