A high-performance implementation of the IC3/PDR algorithm in Rust.
Primary LanguageRustGNU General Public License v3.0GPL-3.0