/rIC3

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

Primary LanguageRustGNU General Public License v3.0GPL-3.0

rIC3

IC3 algorithm implemented in rust.

rIC3 demonstrates competitive performance and scalability compared to state-of-the-art implementations.

Usage

cargo r --release -- <aag file>

For FM2024 artifact, git checkout fm24