{"library":"pysmt","type":"library","category":null,"description":"PySMT is a Python library designed for solver-agnostic manipulation and solving of Satisfiability Modulo Theories (SMT) formulae. It provides a unified API to define, manipulate, and solve SMT problems using various SMT-LIB compliant solvers. The library is actively maintained, with regular releases, and its current stable version is 0.9.6.","language":"python","status":"active","version":"0.9.6","tags":["SMT","solver","logic","formal verification","satisfiability modulo theories","math"],"install":[{"cmd":"pip install pysmt","imports":["from pysmt.shortcuts import Symbol, And, Not, is_sat","from pysmt.typing import INT, BOOL","from pysmt.shortcuts import Solver"]},{"cmd":"python -m pysmt install --z3","imports":[]}],"homepage":"http://www.pysmt.org","github":null,"docs":null,"changelog":null,"pypi":"https://pypi.org/project/pysmt/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.8,"avg_import_s":0.1,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/pysmt/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}