yices (pypi): Python Bindings for the Yices SMT Solver
Keywords: python-bindings|smt-solver|yices