README.md

Cashproof

Usage:

1. install python 3
2. pip install z3-solver
3. python run.py [filenames], examples can be found under examples/