Skip to content

A reference implementation of PDR for boolean transition systems

License

Notifications You must be signed in to change notification settings

rohitdureja/SimplePDR

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

55 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

A reference implementation of PDR for boolean transition systems

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published