GitHub repository: sirandreww/rust-formal-verification
Primary language: Rust
Created: 2022-08-01T15:12:31Z
Description: A rust library that makes it easier to develop, prototype and test new algorithms for formal verification like IC3, PDR, AVY and others.