SimplePDR A reference implementation of property directed reachability for boolean transition systems. Ubuntu x64 System requirements Microsoft Z3 4.5.0 Ubuntu x64 Ubuntu 14.04 LTS x64 gcc 4.8.4 C++ -std=c++11
