PySDD
PySDD copied to clipboard
wannesm
Python package for Sentential Decision Diagrams (SDD)
When installing PySDD with `pip install pysdd` I receive the following error. `clang: error: the clang compiler does not support '-march=native'` [Here the full log](https://github.com/wannesm/PySDD/files/6657388/pysdd_vvv_march.txt) obtained running `pip install -vvv...
Hi, I have encountered some issue when trying to compile a **test.txt** file in dimacs format into a **constraint.vtree** and a **constraint.sdd** files using the following command line : `pysdd...
I'm getting this error when I try to import pysdd.sdd using Python 3.7. ``` >>> import pysdd >>> import pysdd.sdd Traceback (most recent call last): File "", line 1, in...
The following code (adapted from the README) produces a SIGSEGV error: ``` from pysdd.sdd import SddManager, Vtree vtree = Vtree(var_count=2, var_order=[1,1]) a,b = SddManager.from_vtree(vtree).vars wmc = (a|b).wmc() ``` The cause...
The original SDD library includes an `srand(time(NULL))` call at each random vtree construction. This causes a bug where, if multiple random vtrees are to be created in the space of...
I tried installation using: `pip install pysdd`, and according to pip the installation is successful. However, I'm not able to import `pysdd.sdd`, similar to [this issue](https://github.com/wannesm/PySDD/issues/16#issue-456887856) : ``` >>> from...
