z3_ref (cargo): High level interface to the Z3 SMT solver
Keywords: smt|sat|z3