rustproof-libsmt (cargo): Rust bindings for z3 as utilized by RustProof.
Keywords: solver|verification|satisfiability|smt|z3