Fork me on GitHub

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

Next, run the commands:
python minisat
python build
python simple-full
python simple

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

To run a program, execute:
./sabr [number of stages] [optional command] < [path to source]

./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.