boolector-sys (cargo): Low-level bindings for the Boolector SMT solver
Keywords: ffi|smt|boolector|rust|rust-ffi|smt-solver