PySDD 0.2.10__tar.gz → 0.2.12__tar.gz

pysdd-0.2.12/MANIFEST.in

@@ -0,0 +1,2 @@
+global-include *.pyx *.pxd *.c *.h *.so *.a *.dll *.lib
+include LICENSE

pysdd-0.2.12/PKG-INFO

@@ -0,0 +1,225 @@
+Metadata-Version: 2.1
+Name: PySDD
+Version: 0.2.12
+Summary: Sentential Decision Diagrams
+Home-page: https://github.com/wannesm/PySDD
+Author: Wannes Meert, Arthur Choi
+Author-email: wannes.meert@cs.kuleuven.be
+License: Apache 2.0
+Project-URL: PySDD documentation, https://pysdd.readthedocs.io/en/latest/
+Project-URL: PySDD source, https://github.com/wannesm/PySDD
+Keywords: sdd,knowledge compilation
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Python: >=3.6
+License-File: LICENSE
+Requires-Dist: cython>=3.0.0
+Provides-Extra: all
+Requires-Dist: cysignals; extra == "all"
+Requires-Dist: numpy; extra == "all"
+Provides-Extra: dev
+Requires-Dist: pytest; extra == "dev"
+Requires-Dist: cython>=3.0.0; extra == "dev"
+
+=====
+PySDD
+=====
+
+Python wrapper package to interactively use `Sententical Decision Diagrams (SDD) <http://reasoning.cs.ucla.edu/sdd/>`_.
+
+Full documentation available on http://pysdd.readthedocs.io.
+
+------------
+Dependencies
+------------
+
+* Python >=3.6
+* Cython
+
+Optional:
+
+* cysignals
+* numpy
+
+Make sure to have the correct development tools installed:
+
+* C compiler (see `Installing Cython <https://cython.readthedocs.io/en/latest/src/quickstart/install.html>`_)
+* The Python development version that includes Python header files and static library (e.g. libpython3-dev, python-dev, ...)
+
+------------
+Installation
+------------
+
+.. code-block:: shell
+
+   $ pip install PySDD
+
+
+--------------
+Python package
+--------------
+
+The wrapper can be used as a Python package and allows for interactive use.
+
+The following example builds an SDD for the formula ``a∧b ∨ b∧c ∨  c∧d``.
+
+.. code-block:: python
+
+    from pysdd.sdd import SddManager, Vtree, WmcManager
+    vtree = Vtree(var_count=4, var_order=[2,1,4,3], vtree_type="balanced")
+    sdd = SddManager.from_vtree(vtree)
+    a, b, c, d = sdd.vars
+
+    # Build SDD for formula
+    formula = (a & b) | (b & c) | (c & d)
+
+    # Model Counting
+    wmc = formula.wmc(log_mode=False)
+    print(f"Model Count: {wmc.propagate()}")
+    wmc.set_literal_weight(a, 0.5)
+    print(f"Weighted Model Count: {wmc.propagate()}")
+
+    # Visualize SDD and Vtree
+    with open("output/sdd.dot", "w") as out:
+        print(formula.dot(), file=out)
+    with open("output/vtree.dot", "w") as out:
+        print(vtree.dot(), file=out)
+
+The SDD and Vtree are visualized using Graphviz DOT:
+
+.. image:: https://people.cs.kuleuven.be/wannes.meert/pysdd/sdd.png
+.. image:: https://people.cs.kuleuven.be/wannes.meert/pysdd/vtree.png
+
+
+
+More examples are available in the ``examples`` directory.
+An interactive Jupyter notebook is available in
+`notebooks/examples.ipynb <notebooks/examples.ipynb>`_
+
+
+----------------------
+Command Line Interface
+----------------------
+
+A Python CLI application is installed if you use pip, ``pysdd``. Or it can be used
+directly from the source directory where it is called ``pysdd-cli.py``.
+This script mimicks the original sdd binary and adds additional features (e.g. weighted model counting)
+
+.. code-block:: shell
+
+    $ pysdd -h
+    $ ./pysdd-cli.py -h
+    usage: pysdd-cli.py [-h] [-c FILE | -d FILE | -s FILE] [-v FILE] [-W FILE]
+                    [-V FILE] [-R FILE] [-S FILE] [-m] [-t TYPE] [-r K] [-q]
+                    [-p] [--log_mode]
+
+    Sentential Decision Diagram, Compiler
+
+    optional arguments:
+      -h, --help  show this help message and exit
+      -c FILE     set input CNF file
+      -d FILE     set input DNF file
+      -s FILE     set input SDD file
+      -v FILE     set input VTREE file
+      -W FILE     set output VTREE file
+      -V FILE     set output VTREE (dot) file
+      -R FILE     set output SDD file
+      -S FILE     set output SDD (dot) file
+      -m          minimize the cardinality of compiled sdd
+      -t TYPE     set initial vtree type (left/right/vertical/balanced/random)
+      -r K        if K>0: invoke vtree search every K clauses. If K=0: disable
+                  vtree search. By default (no -r option), dynamic vtree search is
+                  enabled
+      -q          perform post-compilation vtree search
+      -p          verbose output
+      --log_mode  weights in log
+
+    Weighted Model Counting is performed if the NNF file containts a line
+    formatted as follows: "c weights PW_1 NW_1 ... PW_n NW_n".
+
+
+-----------------
+Memory management
+-----------------
+
+Python's memory management is not used for the internal datastructures.
+Use the SDD library's garbage collection commands (e.g. ref, deref) to
+perform memory management.
+
+
+-----------------------
+Compilation from source
+-----------------------
+
+.. code-block:: shell
+
+   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
+
+The repository should contain all the required files and libraries (unless
+you use Windows). If you want to compile from source, note that some c-source
+files from the SDD package have been updated to work with this wrapper and are
+included in this repository. Do not overwrite these new files 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`` and ``pysdd/lib/sddlib-2.0`` without overwriting
+  the already available files.
+* Run ``python3 setup.py build_ext --inplace`` or ``make 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, use ``python3 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.
+
+The Windows platform is not supported. There is some initial support but we cannot
+offer guarantees or detailed instructions (but are happy to accept pull requests).
+
+
+----------
+References
+----------
+
+This package is inspired by the SDD wrapper used in the probabilistic
+programming language `ProbLog <https://dtai.cs.kuleuven.be/problog/>`_.
+
+References:
+
+* Wannes Meert, PySDD,
+  in `Recent Trends in Knowledge Compilation
+  <http://drops.dagstuhl.de/opus/volltexte/2018/8589/pdf/dagrep_v007_i009_p062_17381.pdf>`_,
+  Report from Dagstuhl Seminar 17381, Sep 2017.
+  Eds. A. Darwiche, P. Marquis, D. Suciu, S. Szeider.
+
+Other languages:
+
+* C: http://reasoning.cs.ucla.edu/sdd/
+* Java: https://github.com/jessa/JSDD
+
+
+-------
+Contact
+-------
+
+* Wannes Meert, KU Leuven, https://people.cs.kuleuven.be/wannes.meert
+* Arthur Choi, UCLA, http://web.cs.ucla.edu/~aychoi/
+
+
+-------
+License
+-------
+
+Python SDD wrapper:
+
+Copyright 2017-2018, KU Leuven and Regents of the University of California.
+Licensed under the Apache License, Version 2.0.
+
+
+SDD package:
+
+Copyright 2013-2018, Regents of the University of California
+Licensed under the Apache License, Version 2.0.

pysdd-0.2.12/PySDD.egg-info/PKG-INFO

@@ -0,0 +1,225 @@
+Metadata-Version: 2.1
+Name: PySDD
+Version: 0.2.12
+Summary: Sentential Decision Diagrams
+Home-page: https://github.com/wannesm/PySDD
+Author: Wannes Meert, Arthur Choi
+Author-email: wannes.meert@cs.kuleuven.be
+License: Apache 2.0
+Project-URL: PySDD documentation, https://pysdd.readthedocs.io/en/latest/
+Project-URL: PySDD source, https://github.com/wannesm/PySDD
+Keywords: sdd,knowledge compilation
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Python: >=3.6
+License-File: LICENSE
+Requires-Dist: cython>=3.0.0
+Provides-Extra: all
+Requires-Dist: cysignals; extra == "all"
+Requires-Dist: numpy; extra == "all"
+Provides-Extra: dev
+Requires-Dist: pytest; extra == "dev"
+Requires-Dist: cython>=3.0.0; extra == "dev"
+
+=====
+PySDD
+=====
+
+Python wrapper package to interactively use `Sententical Decision Diagrams (SDD) <http://reasoning.cs.ucla.edu/sdd/>`_.
+
+Full documentation available on http://pysdd.readthedocs.io.
+
+------------
+Dependencies
+------------
+
+* Python >=3.6
+* Cython
+
+Optional:
+
+* cysignals
+* numpy
+
+Make sure to have the correct development tools installed:
+
+* C compiler (see `Installing Cython <https://cython.readthedocs.io/en/latest/src/quickstart/install.html>`_)
+* The Python development version that includes Python header files and static library (e.g. libpython3-dev, python-dev, ...)
+
+------------
+Installation
+------------
+
+.. code-block:: shell
+
+   $ pip install PySDD
+
+
+--------------
+Python package
+--------------
+
+The wrapper can be used as a Python package and allows for interactive use.
+
+The following example builds an SDD for the formula ``a∧b ∨ b∧c ∨  c∧d``.
+
+.. code-block:: python
+
+    from pysdd.sdd import SddManager, Vtree, WmcManager
+    vtree = Vtree(var_count=4, var_order=[2,1,4,3], vtree_type="balanced")
+    sdd = SddManager.from_vtree(vtree)
+    a, b, c, d = sdd.vars
+
+    # Build SDD for formula
+    formula = (a & b) | (b & c) | (c & d)
+
+    # Model Counting
+    wmc = formula.wmc(log_mode=False)
+    print(f"Model Count: {wmc.propagate()}")
+    wmc.set_literal_weight(a, 0.5)
+    print(f"Weighted Model Count: {wmc.propagate()}")
+
+    # Visualize SDD and Vtree
+    with open("output/sdd.dot", "w") as out:
+        print(formula.dot(), file=out)
+    with open("output/vtree.dot", "w") as out:
+        print(vtree.dot(), file=out)
+
+The SDD and Vtree are visualized using Graphviz DOT:
+
+.. image:: https://people.cs.kuleuven.be/wannes.meert/pysdd/sdd.png
+.. image:: https://people.cs.kuleuven.be/wannes.meert/pysdd/vtree.png
+
+
+
+More examples are available in the ``examples`` directory.
+An interactive Jupyter notebook is available in
+`notebooks/examples.ipynb <notebooks/examples.ipynb>`_
+
+
+----------------------
+Command Line Interface
+----------------------
+
+A Python CLI application is installed if you use pip, ``pysdd``. Or it can be used
+directly from the source directory where it is called ``pysdd-cli.py``.
+This script mimicks the original sdd binary and adds additional features (e.g. weighted model counting)
+
+.. code-block:: shell
+
+    $ pysdd -h
+    $ ./pysdd-cli.py -h
+    usage: pysdd-cli.py [-h] [-c FILE | -d FILE | -s FILE] [-v FILE] [-W FILE]
+                    [-V FILE] [-R FILE] [-S FILE] [-m] [-t TYPE] [-r K] [-q]
+                    [-p] [--log_mode]
+
+    Sentential Decision Diagram, Compiler
+
+    optional arguments:
+      -h, --help  show this help message and exit
+      -c FILE     set input CNF file
+      -d FILE     set input DNF file
+      -s FILE     set input SDD file
+      -v FILE     set input VTREE file
+      -W FILE     set output VTREE file
+      -V FILE     set output VTREE (dot) file
+      -R FILE     set output SDD file
+      -S FILE     set output SDD (dot) file
+      -m          minimize the cardinality of compiled sdd
+      -t TYPE     set initial vtree type (left/right/vertical/balanced/random)
+      -r K        if K>0: invoke vtree search every K clauses. If K=0: disable
+                  vtree search. By default (no -r option), dynamic vtree search is
+                  enabled
+      -q          perform post-compilation vtree search
+      -p          verbose output
+      --log_mode  weights in log
+
+    Weighted Model Counting is performed if the NNF file containts a line
+    formatted as follows: "c weights PW_1 NW_1 ... PW_n NW_n".
+
+
+-----------------
+Memory management
+-----------------
+
+Python's memory management is not used for the internal datastructures.
+Use the SDD library's garbage collection commands (e.g. ref, deref) to
+perform memory management.
+
+
+-----------------------
+Compilation from source
+-----------------------
+
+.. code-block:: shell
+
+   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
+
+The repository should contain all the required files and libraries (unless
+you use Windows). If you want to compile from source, note that some c-source
+files from the SDD package have been updated to work with this wrapper and are
+included in this repository. Do not overwrite these new files 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`` and ``pysdd/lib/sddlib-2.0`` without overwriting
+  the already available files.
+* Run ``python3 setup.py build_ext --inplace`` or ``make 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, use ``python3 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.
+
+The Windows platform is not supported. There is some initial support but we cannot
+offer guarantees or detailed instructions (but are happy to accept pull requests).
+
+
+----------
+References
+----------
+
+This package is inspired by the SDD wrapper used in the probabilistic
+programming language `ProbLog <https://dtai.cs.kuleuven.be/problog/>`_.
+
+References:
+
+* Wannes Meert, PySDD,
+  in `Recent Trends in Knowledge Compilation
+  <http://drops.dagstuhl.de/opus/volltexte/2018/8589/pdf/dagrep_v007_i009_p062_17381.pdf>`_,
+  Report from Dagstuhl Seminar 17381, Sep 2017.
+  Eds. A. Darwiche, P. Marquis, D. Suciu, S. Szeider.
+
+Other languages:
+
+* C: http://reasoning.cs.ucla.edu/sdd/
+* Java: https://github.com/jessa/JSDD
+
+
+-------
+Contact
+-------
+
+* Wannes Meert, KU Leuven, https://people.cs.kuleuven.be/wannes.meert
+* Arthur Choi, UCLA, http://web.cs.ucla.edu/~aychoi/
+
+
+-------
+License
+-------
+
+Python SDD wrapper:
+
+Copyright 2017-2018, KU Leuven and Regents of the University of California.
+Licensed under the Apache License, Version 2.0.
+
+
+SDD package:
+
+Copyright 2013-2018, Regents of the University of California
+Licensed under the Apache License, Version 2.0.

pysdd-0.2.12/PySDD.egg-info/SOURCES.txt

@@ -0,0 +1,115 @@
+LICENSE
+MANIFEST.in
+README.rst
+pyproject.toml
+setup.cfg
+setup.py
+PySDD.egg-info/PKG-INFO
+PySDD.egg-info/SOURCES.txt
+PySDD.egg-info/dependency_links.txt
+PySDD.egg-info/entry_points.txt
+PySDD.egg-info/not-zip-safe
+PySDD.egg-info/requires.txt
+PySDD.egg-info/top_level.txt
+pysdd/__init__.py
+pysdd/__main__.py
+pysdd/cli.py
+pysdd/compiler_c.pxd
+pysdd/fnf_c.pxd
+pysdd/io_c.pxd
+pysdd/iterator.py
+pysdd/sdd.c
+pysdd/sdd.dll
+pysdd/sdd.pyx
+pysdd/sddapi_c.pxd
+pysdd/util.py
+pysdd/wmcstochastic.py
+pysdd/lib/libsdd-2.0/sddapi.h
+pysdd/lib/libsdd-2.0/include/iterators.h
+pysdd/lib/libsdd-2.0/include/macros.h
+pysdd/lib/libsdd-2.0/include/parameters.h
+pysdd/lib/libsdd-2.0/include/sdd.h
+pysdd/lib/libsdd-2.0/include/stacks.h
+pysdd/lib/libsdd-2.0/src/util.c
+pysdd/lib/libsdd-2.0/src/verify.c
+pysdd/lib/libsdd-2.0/src/version.c
+pysdd/lib/libsdd-2.0/src/basic/computed.c
+pysdd/lib/libsdd-2.0/src/basic/count_and_size.c
+pysdd/lib/libsdd-2.0/src/basic/gc.c
+pysdd/lib/libsdd-2.0/src/basic/hash.c
+pysdd/lib/libsdd-2.0/src/basic/memory.c
+pysdd/lib/libsdd-2.0/src/basic/multiply.c
+pysdd/lib/libsdd-2.0/src/basic/nodes.c
+pysdd/lib/libsdd-2.0/src/basic/partitions.c
+pysdd/lib/libsdd-2.0/src/basic/references.c
+pysdd/lib/libsdd-2.0/src/basic/replace.c
+pysdd/lib/libsdd-2.0/src/basic/shadows.c
+pysdd/lib/libsdd-2.0/src/basic/sort.c
+pysdd/lib/libsdd-2.0/src/fnf/io.c
+pysdd/lib/libsdd-2.0/src/manager/copy.c
+pysdd/lib/libsdd-2.0/src/manager/interface.c
+pysdd/lib/libsdd-2.0/src/manager/manager.c
+pysdd/lib/libsdd-2.0/src/manager/stats.c
+pysdd/lib/libsdd-2.0/src/manager/variables.c
+pysdd/lib/libsdd-2.0/src/sdds/apply.c
+pysdd/lib/libsdd-2.0/src/sdds/bits.c
+pysdd/lib/libsdd-2.0/src/sdds/cardinality.c
+pysdd/lib/libsdd-2.0/src/sdds/condition.c
+pysdd/lib/libsdd-2.0/src/sdds/copy.c
+pysdd/lib/libsdd-2.0/src/sdds/count.c
+pysdd/lib/libsdd-2.0/src/sdds/essential_vars.c
+pysdd/lib/libsdd-2.0/src/sdds/exists.c
+pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c
+pysdd/lib/libsdd-2.0/src/sdds/exists_multiple_static.c
+pysdd/lib/libsdd-2.0/src/sdds/forall.c
+pysdd/lib/libsdd-2.0/src/sdds/io.c
+pysdd/lib/libsdd-2.0/src/sdds/model_count.c
+pysdd/lib/libsdd-2.0/src/sdds/rename_vars.c
+pysdd/lib/libsdd-2.0/src/sdds/size.c
+pysdd/lib/libsdd-2.0/src/sdds/wmc.c
+pysdd/lib/libsdd-2.0/src/vtree_fragments/construction.c
+pysdd/lib/libsdd-2.0/src/vtree_fragments/moves.c
+pysdd/lib/libsdd-2.0/src/vtree_fragments/operations.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/cartesian_product.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/dissect.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/limits.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/op_left_rotate.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/op_right_rotate.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/op_swap.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/rollback.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/split.c
+pysdd/lib/libsdd-2.0/src/vtree_operations/vtree_ops.h
+pysdd/lib/libsdd-2.0/src/vtree_search/auto.c
+pysdd/lib/libsdd-2.0/src/vtree_search/search.c
+pysdd/lib/libsdd-2.0/src/vtree_search/state.c
+pysdd/lib/libsdd-2.0/src/vtrees/compare.c
+pysdd/lib/libsdd-2.0/src/vtrees/edit.c
+pysdd/lib/libsdd-2.0/src/vtrees/io.c
+pysdd/lib/libsdd-2.0/src/vtrees/maps.c
+pysdd/lib/libsdd-2.0/src/vtrees/moves.c
+pysdd/lib/libsdd-2.0/src/vtrees/static.c
+pysdd/lib/libsdd-2.0/src/vtrees/vtree.c
+pysdd/lib/sdd-2.0/include/compiler.h
+pysdd/lib/sdd-2.0/include/fnf.h
+pysdd/lib/sdd-2.0/include/io.h
+pysdd/lib/sdd-2.0/include/sddapi.h
+pysdd/lib/sdd-2.0/lib/Darwin/libsdd.a
+pysdd/lib/sdd-2.0/lib/Darwin-arm/libsdd.a
+pysdd/lib/sdd-2.0/lib/Linux/libsdd.a
+pysdd/lib/sdd-2.0/lib/Linux/libsdd.so
+pysdd/lib/sdd-2.0/lib/Windows/sdd.dll
+pysdd/lib/sdd-2.0/lib/Windows/sdd.lib
+pysdd/lib/sdd-2.0/src/getopt.c
+pysdd/lib/sdd-2.0/src/main.c
+pysdd/lib/sdd-2.0/src/fnf/compiler.c
+pysdd/lib/sdd-2.0/src/fnf/fnf.c
+pysdd/lib/sdd-2.0/src/fnf/io.c
+pysdd/lib/sdd-2.0/src/fnf/utils.c
+pysdd/lib/sdd_extra/include/sddapi_extra.h
+tests/test_iterator.py
+tests/test_minimize.py
+tests/test_nnf.py
+tests/test_psdd.py
+tests/test_util.py
+tests/test_vtree.py
+tests/test_wmcstochastic.py

{PySDD-0.2.10 → pysdd-0.2.12}/PySDD.egg-info/entry_points.txt

@@ -1,3 +1,2 @@
 [console_scripts]
 pysdd = pysdd.cli:main
-

pysdd-0.2.12/PySDD.egg-info/requires.txt

@@ -0,0 +1,9 @@
+cython>=3.0.0
+
+[all]
+cysignals
+numpy
+
+[dev]
+pytest
+cython>=3.0.0

pysdd-0.2.12/pyproject.toml

@@ -0,0 +1,4 @@
+[build-system]
+# Minimum requirements for the build system to execute.
+requires = ["setuptools", "wheel", "cython"]  # PEP 508 specifications.
+

pysdd-0.2.12/pysdd/__init__.py

@@ -0,0 +1 @@
+__version__ = "0.2.12"

{PySDD-0.2.10 → pysdd-0.2.12}/pysdd/cli.py

@@ -33,7 +33,7 @@ def main(argv=None):
     elif options.dnf_filename is not None:
         print("reading dnf...")
         fnf = Fnf.from_dnf_file(bytes(options.dnf_filename))
-        weights = read_weights(options.cnf_filename)
+        weights = read_weights(options.dnf_filename)
 
     if options.vtree_filename is not None:
         print("reading initial vtree...")

{PySDD-0.2.10 → pysdd-0.2.12}/pysdd/compiler_c.pxd

@@ -6,7 +6,7 @@ __license__ = "APL"
 
 """
 
-cimport sddapi_c
+from . cimport sddapi_c
 
 cdef extern from "compiler.h":
     ctypedef struct SddCompilerOptions:
@@ -29,7 +29,7 @@ cdef extern from "compiler.h":
         int post_search             #  post-compilation search
         int verbose                 #  print manager
     ctypedef struct Fnf:
-        long var_count;
+        long long var_count;
         sddapi_c.SddSize litset_count;
     ctypedef Fnf Cnf;
     ctypedef Fnf Dnf;

{PySDD-0.2.10 → pysdd-0.2.12}/pysdd/fnf_c.pxd

@@ -7,8 +7,8 @@ pysdd.fnf_c
 :copyright: Copyright 2017-2018 KU Leuven and Regents of the University of California.
 :license: Apache License, Version 2.0, see LICENSE for details.
 """
-cimport sddapi_c
-cimport compiler_c
+from . cimport sddapi_c
+from . cimport compiler_c
 
 cdef extern from "fnf.h":
     void free_fnf(compiler_c.Fnf* fnf)

{PySDD-0.2.10 → pysdd-0.2.12}/pysdd/io_c.pxd

@@ -7,8 +7,8 @@ pysdd.io_c
 :copyright: Copyright 2017-2018 KU Leuven and Regents of the University of California.
 :license: Apache License, Version 2.0, see LICENSE for details.
 """
-cimport sddapi_c
-cimport compiler_c
+from . cimport sddapi_c
+from . cimport compiler_c
 
 cdef extern from "io.h":
     compiler_c.Fnf* read_fnf(const char* filename);

{PySDD-0.2.10 → pysdd-0.2.12}/pysdd/lib/libsdd-2.0/include/macros.h

@@ -26,6 +26,7 @@
 #define ERR_MSG_FRG_N "\nerror in %s: fragment cannot be moved to the next state while in goto mode\n"
 #define ERR_MSG_FRG_G "\nerror in %s: fragment cannot by moved to the given state while in next mode\n"
 #define ERR_MSG_FRG_R "\nerror in %s: fragment cannot be rewinded while in goto mode\n"
+#define FULL_DEBUG FALSE
 
 //if condition C is met, print error message M that materialized in function F
 #define CHECK_ERROR(C,M,F) if(C) { fprintf(stderr,M,F); exit(1); }