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