Download PBnJ
download repository containing the PBnJ Source/Compiler.
cd pbnj-bin
untar the file pbnj.tar.gz
set PBNJ_HOME to the directory
set PBNJ_CLASSPATH for adding to class path
Compiling Programs
example:
Running Programs
example:
* SAT-Solver Choices:
to change solver choice invoke statement: