PyPI page
Home page
Author:
None
Summary:
An abstraction layer for constraint solvers
Latest version:
9.2.192
Required dependencies:
cachetools
|
typing-extensions
|
z3-solver
Optional dependencies:
furo
|
myst-parser
|
sphinx
|
sphinx-autodoc-typehints
Downloads last day:
17,923
Downloads last week:
92,603
Downloads last month:
402,131