search

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
https://pypi.org/project/dd
Other
181 stars 39 forks source link

--install-option does not work anymore in requirements.txt #91

Closed danjujan closed 6 months ago

danjujan commented 1 year ago

--install-option was removed in pip 23.1: https://pip.pypa.io/en/stable/news/#id27 Is there currently a supported way to install dd with cudd bindings from a requirements.txt file?

slivingston commented 1 year ago

@danjujan There is work-in-progress that updates the installation process accordingly: https://github.com/tulip-control/dd/tree/dev_060#cython-bindings

slivingston commented 1 year ago

I do not know when it will be ready for general use and merged into main branch.

hiddevanesch commented 1 year ago

@danjujan There is work-in-progress that updates the installation process accordingly: https://github.com/tulip-control/dd/tree/dev_060#cython-bindings

On windows, using set instead of export, this does not install dd.cudd. How can I solve this?

johnyf commented 6 months ago

As of dd == 0.6.0:

pip install --upgrade wheel cython
export DD_FETCH=1 DD_CUDD=1
pip install dd -vvv --use-pep517 --no-build-isolation
johnyf commented 6 months ago

The modules dd.cudd and download.py are written to build on Linux. Building on Windows would need configuring the build differently, relevant: #68 and https://github.com/tulip-control/dd/issues/78#issuecomment-843647033.

slivingston commented 6 months ago

I just confirmed success with the instructions above on Debian 12 (GNU/Linux) with Python 3.11.

@hiddevanesch we should move discussion about Windows to another issue or re-open #68