boolector_sys/lib.rs
1//! Low-level bindings for the [Boolector] SMT solver.
2//!
3//! Please see the Boolector [C API documentation] for function descriptions.
4//!
5//! [Boolector]: https://boolector.github.io/
6//! [C API documentation]: https://boolector.github.io/docs/cboolector.html
7
8#![allow(non_camel_case_types, non_snake_case, non_upper_case_globals)]
9
10include!("../src-generated/bindings.rs");
11include!("../src-generated/options.rs");