Installation¶
Dependencies¶
- Python >=3.6
- Cython
Pip Installation¶
The package can be installed using Pip:
pip install pysdd
If the package complains that ModuleNotFoundError: No module named 'pysdd.sdd'
something went wrong during compilation. Reinstall with the verbose option to see
what the issue is:
pip install -vvv --upgrade --force-reinstall --no-deps --no-binary :all: pysdd
Compilation from Source¶
Notice: This wrapper requires some small changes to the SDD package. The changed files are already included in this repository. Do not overwrite them with the original files.
- Download the SDD package from http://reasoning.cs.ucla.edu/sdd/.
- Install the SDD package in the PySDD package in directories
pysdd/lib/sdd-2.0
andpysdd/lib/sddlib-2.0
without overwriting the already available files. - Run
python3 setup.py build_ext --inplace
ormake build
to compile the library in the current directory. If you want to install the library such that the library is available for your local installation or in your virtual environment, usepython3 setup.py install
.
For some Linux platforms, it might be necessary to recompile the libsdd-2.0 code with
the gcc option -fPIC
and replace the pysdd/lib/sdd-2.0/lib/Linux/libsdd.a
library with your newly compiled version.