// 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")]modbtor;pubusebtor::{Btor, SolverResult};modnode;pubusenode::Array;pubusenode::BVSolution;pubusenode::BV;pubmodoption;modsort;modtimeout;