This directory contains the software for the paper "Increasing
Confidence in Liveness Model Checking Results with Proofs" by Tuomas
Kuismin.

Contents of this package:
- README -- This file
- LICENSE -- The license for this software
- bin/live2safe -- The main program
- live2safe.rkt -- The source code for the main program
- aiger.rkt -- Racket interface to the AIGER library
- lib/plt -- A directory for Racket runtime files, required by the main program
- Makefile -- Compilation command for the AIGER library

To run the program, extract the AIGER tool from
http://fmv.jku.at/aiger/ into a subdirectory called "aiger" and run
"make". Put the "bip"-executable from
https://bitbucket.org/niklaseen/abc-zz/ in your path. The program
takes one argument: an AIGER-file with a single justice-property.
