PyPI page
Home page
Author:
None
License:
BSD-2-Clause
Summary:
An abstraction layer for constraint solvers
Latest version:
9.2.112
Required dependencies:
cachetools
|
cvc4-solver
|
decorator
|
pysmt
|
z3-solver
Optional dependencies:
cvc4-solver
|
furo
|
myst-parser
|
pytest
|
pytest-xdist
|
sphinx
|
sphinx-autodoc-typehints
Downloads last day:
387
Downloads last week:
3,595
Downloads last month:
15,673