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