PyPI page
Home page
Author:
Sohaib AFIFI
License:
MIT
Summary:
Extra solver backends for pycsp3 (OR-Tools, IBM CPO, Z3, Pumpkin)
Latest version:
0.7.7
Required dependencies:
docplex
|
pycsp3
Optional dependencies:
ortools
|
pumpkin-solver
|
pytest
|
pytest-cov
|
z3-solver
Downloads last day:
33
Downloads last week:
74
Downloads last month:
205