The following contains instructions to get a working PathFinder build. PathFinder only runs on Linux.
apt-get install bam
apt-get install flex bison bzr g++ ocaml libxml2-dev libxslt-dev mercurial
An SMT solver
If you have admin rights on your machine, you can get CVC4 with an automated script:
You may also want to try a local install (which can be trickier) with
Z3 tends to be significantly less tricky to install. You can follow the instructions at https://github.com/Z3Prover/z3.
To install, type
bam and follow the instructions.
bam config will run a default config, which you can reset by removing the config.lua file. In order to select either solver, use
bam config solver=cvc4 or
bam config solver=z3.
Alternatively, you can use
Note: In order to run PathFinder with maximum performance (for benchmarking), you must run
bam config O=3 debug=false warnings=false v1=false.
Note: If your terminal does not support UTF-8, use
bam config utf8=false