Getting Started

The Github repository is here.

For the provided scripts to run properly you will need to have a Unix variant which could be:

To get the code, enter into terminal:

git clone http://github.com/dbunker/SABR.git

Next, run the commands:

python setup.py minisat
python setup.py build
python test.py simple-full
python test.py simple

You should get "Passed All" from the test file.

To run a program, execute:

./sabr [number of stages] [optional command] < [path to source]

Example:

./sabr 20 -all < test/Simple/simple.tb

To learn more about the language, check out the specification.

You can also try an example program here.