Falling Back to Executable Specifications

Instructions

Download PBnJ

download and untar PBnJ Compiler.

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/