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