SimplePDR Version 0.0.1-alpha.1

Features in this version

1. Takes as input a transition system specified in CNF.
2. Implememts the PDR algorithm as described in [1], without clause generalizations and ternary simulation and uses a stack-based method to check proof obligations.
3. Z3 is the underlying SAT solver

[1] Een, Niklas, Alan Mishchenko, and Robert Brayton. "Efficient implementation of property directed reachability." Formal Methods in Computer-Aided Design (FMCAD), 2011. IEEE, 2011.