/SimplePDR

A reference implementation of PDR for boolean transition systems

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

No issues in this repository yet.