smtlite v0.1.0 — A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core.

Sign in to join the discussion — your thebay.events account works here.