| | 34 | # Install the automated theorem prover CVC4, following instructions at http://cvc4.cs.stanford.edu/web/. You only need the binary (`cvc4`), which must be in your `PATH`. |
| | 35 | # Install the automated theorem prover Z3, following instructions at https://github.com/Z3Prover/z3. You only need the binary (`z3`), which must be in your `PATH`. |
| | 36 | # Install a Java 8 SDK. Later versions of Java may also work. See https://www.oracle.com/technetwork/java/javase/downloads/index.html. |
| | 37 | # Download and unpack the latest stable release of CIVL from http://vsl.cis.udel.edu/lib/sw/civl/current/latest/release/. |
| | 38 | |
| | 39 | |
| | 40 | |
