boolector-sys

Rust ★ 0 updated 5y ago ⑂ fork

Low-level Rust bindings for the Boolector SMT solver

No plain-English explanation yet — one is being written right now. Check back in a minute.