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