Enable dReal in pip wheel #15970
Labels
component: distribution
Nightly binaries, monthly releases, docker, installation
configuration: python
priority: low
type: feature request
As of the v0.35.0 release, we had to disable dReal in our wheel builds, because rebuilding its dependencies from source was too difficult. We should work to enable it again.
The text was updated successfully, but these errors were encountered: