Crate boolector_sys
source ·Expand description
Low-level bindings for the Boolector SMT solver.
Please see the Boolector C API documentation for function descriptions.
Re-exports§
pub use self::BtorOptQuantSynth as BtorOptQuantSynt;
Low-level bindings for the Boolector SMT solver.
Please see the Boolector C API documentation for function descriptions.
pub use self::BtorOptQuantSynth as BtorOptQuantSynt;