Falling Back to Executable Specifications

Instructions

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

examples> ./pbnjc [.pbj file]

example:

examples> ./pbnjc IntSqrt.pbj

Running Programs

examples> ./pbnj [class name]

example:

examples> ./pbnj IntSqrt

* SAT-Solver Choices:

to change solver choice invoke statement:

polyglot.ext.pbnj.tologic.LogMap.SolverOpt_SolverNum(num);

Style sheet adapted from http://www.cs.umd.edu/~saurabhs/