dreal (pypi): SMT Solver for Nonlinear Theories of Reals
Keywords: dreal|smt|theorem|prover|smt-solver