rust-formal-verification

A rust library that makes it easier to develop, prototype and test new algorithms for formal verification like IC3, PDR, AVY and others.

Publishing a new version

To publish a new version of the library : 1. run cargo fmt --check (you may run cargo fmt to fix changes quickly) 2. run cargo clippy (you may run cargo clippy --fix to fix changes quickly) 3. run cargo test (This also tests doc comments) 4. run cargo publish