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