rust_formal_verification/algorithms/
mod.rs

1//! some algorithms that are already implemented.
2
3// ************************************************************************************************
4// rust submodule declaration, they get searched in their respective file  names
5// ************************************************************************************************
6
7pub mod bmc; // requires file in this directory with the name 'bmc.rs'
8pub mod formula_logic;
9pub mod proof;
10
11// ************************************************************************************************
12// re-exports of structs in these modules to simplify paths for other imports
13// ************************************************************************************************
14
15pub use bmc::BMC;