# 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 `minisat` are visible in your path.

  * SMV can be obtained from here: <http://www.cs.cmu.edu/~modelcheck/smv.html>
  * MiniSAT can be obtained from here: <http://minisat.se/MiniSat.html>
      - (We have tested with the pre-compiled Linux version 1.14.)

If verification gives ".../smv.wrapper Permission denied" (or similarly for `minisat`), 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.