# Installation
First install the [Haskell Platform](http://www.haskell.org/platform).
Then install the package by running
cabal install
from within this directory. Alternatively, run
cabal install chalmers-lava2000
to install the latest version on Hackage.
# Verification
In order to use verification, make sure that the binaries `smv` and/or `satzoo` are visible in your path.
* SMV can be obtained from here: <http://www.cs.cmu.edu/~modelcheck/smv.html>
* There is (as of 2015-10-23) a cached version of Satzoo available here: <http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~een/Satzoo/>
If verification gives ".../smv.wrapper Permission denied" (or similarly for `satzoo`), you need to mark the problematic files as executable. (That is, not the files in the `Scripts` directory, but the copy of those files that Cabal made during installation.