rust_smt (cargo): A generic solver-agnostic API for interacting with SMT solvers based on the SMT-LIB standard.
Keywords: theories|z3|satisfiability|modulo|smt