COMPILATION

Change the paths in
BP/releases/satabs-3.2/src/bplang/bp_repair.compile 
to point to a CBMC installation.

$ cd BP/releases/satabs-3.2/src/bplang
$ ./bp_repair.compile

EXECUTION

Write the cutpoints in bp_repair.cpp according to 
the comments in the code.

Compile the code.

./a.out <filename> <cost>

__________________

EXAMPLES
The C benchmarks, boolean programs, Z3 constraint 
systems and Z3 outputs are in BP/releases/satabs-3.2/src/bplang/