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