/ Bernard van Gastel / SpinBatch

About SpinBatch

These are a small number of notes about SpinBatch, but don't expected too much of documentation.

Example

iterate-int SKEW 0 10 1 
iterate-int SW_LENGTH 1 10 1
iterate-int THRESHOLD 0 10 1
define BALANCED_HASH_LENGTH 8
model tea.pml
depth 20000
memory 6000
search depth-first
basic
safety [](ether >= 0)
logfile tea.batch.log

Download

You can download the program here. Good luck!