Module algorithms 

some algorithms that are already implemented.

Re-exports

pub use bmc::BMC;

Modules

bmc

formula_logic

proof

Algorithms for proving the safety of a finite state transition system.