PyPI page
Home page
Author:
None
Summary:
An abstraction layer for constraint solvers
Latest version:
9.2.221
Required dependencies:
cachetools
|
z3-solver
Downloads last day:
54,012
Downloads last week:
312,619
Downloads last month:
1,102,429