z3-solver-mythril (pypi): an efficient SMT solver library
Keywords: z3|smt|sat|prover|theorem