Java bindings for Boolector SMT solver
Boolector version 3.2.0 should be installed in the system
For running on Arch Linux you need to install boolector package from AUR.
Build and install native libraries:
make
make install
Build java bindings library:
mvn clean package
Build jar with sources:
mvn sources:jar
Build tar.gz with sources:
mvn clean assembly:assembly
You can install boolector-java package from AUR.