z3d (cargo): Z3 DSL interface for Rust
Keywords: satisfiability|z3|solver|smt