seer-z3 (cargo): High-level rust bindings for the Z3 SMT solver from Microsoft Research
Keywords: solver|satisfiability|ffi|smt