search

dwavesystems / dwavebinarycsp

Map constraint satisfaction problems with binary variables to binary quadratic models.
https://docs.ocean.dwavesys.com/projects/binarycsp/en/latest
Apache License 2.0
20 stars 27 forks source link

Gracefully failback to `pysmt` when `ortools` not available #61

Closed randomir closed 1 year ago

randomir commented 5 years ago

On 64-bit OS and 32-bit Python we still try to install penaltymodel-mip (which uses ortools), instead of penaltymodel-maxgap.

randomir commented 5 years ago

An alternative to automated fallback is adding a possibility of "manual override": to e.g. prefer penaltymodel-maxgap.

randomir commented 5 years ago

Default "extra" would solve this problem. Unfortunately, it's far from being available.

arcondello commented 1 year ago

As of version penaltymodel 1.0.0 penaltymodel only has one factory that uses SciPy.