Download Latest Version
barrifier_0.3.tar.gz (8.8 MB)
Get an email when there's a new version of barrifier
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| README.txt | 2018-07-27 | 455 Bytes | |
| barrifier_0.3.tar.gz | 2018-07-16 | 8.8 MB | |
| barrifier_0.1.tar.gz | 2017-11-30 | 7.7 MB | |
| Totals: 3 Items | 16.5 MB | 0 |
All binaries in this distribution are Linux binaries. You can install the distribution as follows:
1) Unpack the distribution archive
2) Download the SMT solver OptiMathSAT (http://optimathsat.disi.unitn.it/) and, if necessary, compile it.
3) Copy the binary file optimathsat into the sub-directory smt.
4) Try a first example, for example by issuing the command
./barrifier <examples/test.hs
5) Have a look at the manual in manual/manual.pdf
