dd

dd copied to clipboard

obtain SSL certificates with Python >= 3.6 on macOS

2

Running `python setup.py install --fetch --cudd` with Python 3.6 (built from source) on OS X can encounter the following error due to [absent SSL certificates](https://stackoverflow.com/a/42334357/1959808): > urllib.error.URLError: Solution: - Install...

johnyf

setuptools installs release candidates, unlike pip

2

The recommended way to fetch and compile CUDD and its Cython bindings is `python setup.py install --fetch --cudd`. This uses `setuptools` for installing dependencies, so it allows release candidates, as...

johnyf

Hi, first I wanted to thank you for this library. It's great. I'm facing an issue when using the `let` function. Here is my code: ```python from dd.autoref import BDD...

sdandois

Update cudd.pyx

4

SaiCharanMarrivada

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

3

`--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?

danjujan

NeedsReordering exception

2

Hello! I'm encountering an issue when I'm trying to use the following variable ordering to reorder a bdd. I apologize that the exemple is not _minimal_ but I can't pinpoint...

dvcopae