Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 967 Bytes

README.md

File metadata and controls

19 lines (14 loc) · 967 Bytes
Raw

rIC3

rIC3 model checker.

[HWMCC'24] rIC3 won 1st place in BV track at the Hardware Model Checking Competition (HWMCC) 2024

To view the submission for HWMCC'24, please checkout the HWMCC24 branch or download the binary release at https://github.com/gipsyh/rIC3-HWMCC24.

Build and Run

Currently, some dependency libraries are linked through pre-compiled static files in the repository, and they have a dependency on the glibc version. Ubuntu 20.04 or later works fine.

  • Install the Rust compiler https://www.rust-lang.org/
  • Switch to nightly rustup default nightly
  • git clone --recurse-submodules https://github.com/gipsyh/rIC3
  • cargo r --release -- <aig model>