PySMT: A Solver-Agnostic Library for SMT Formulae Manipulation and Solving
JSON →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.
Traffic · last 30 days stale · no recent hits
total hits 23
actors 5 distinct systems
last hit 16d ago human
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · VN · TN
API endpoints
full doc /v1/registry/pysmt
install /v1/registry/pysmt/install
compatibility /v1/registry/pysmt/compatibility