1
2
3
4
5
6
7
8
9
10
11
12
13

// this ensures that crate users generating docs with --no-deps will still
// properly get links to the public docs for boolector's types
#![doc(html_root_url = "https://docs.rs/boolector/0.4.2")]

mod btor;
pub use btor::{Btor, SolverResult};
mod node;
pub use node::Array;
pub use node::BVSolution;
pub use node::BV;
pub mod option;
mod sort;
mod timeout;