/rIC3

A high-performance implementation of the IC3/PDR algorithm in Rust.

Primary LanguageRustGNU General Public License v3.0GPL-3.0

Stargazers