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;