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 ↓11% vs prev 7d
total hits 22
actors 6 distinct systems
last hit 3d ago MetaBot
top countries 🇺🇸 United States · 🇫🇷 France · 🇸🇬 Singapore · 🇨🇦 Canada · 🇩🇪 Germany
API endpoints
full doc /v1/registry/pysmt
install /v1/registry/pysmt/install
compatibility /v1/registry/pysmt/compatibility