GitHub repository: pysmt/yicespy
Primary language: SWIG
Description: Python Wrapper for the Yices SMT Solver