/SimplePDR

A reference implementation of PDR for boolean transition systems

Primary LanguageC++GNU General Public License v3.0GPL-3.0

SimplePDR

A reference implementation of property directed reachability for boolean transition systems.

Ubuntu x64 Build Status

System requirements

  • Microsoft Z3 4.5.0 Ubuntu x64
  • Ubuntu 14.04 LTS x64
  • gcc 4.8.4
  • C++ -std=c++11