PySDD 0.2.11__tar.gz → 1.0.0__tar.gz

{PySDD-0.2.11 → pysdd-1.0.0}/PKG-INFO

@@ -1,48 +1,46 @@
 Metadata-Version: 2.1
 Name: PySDD
-Version: 0.2.11
+Version: 1.0.0
 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, http://pysdd.readthedocs.io/en/latest/
-Project-URL: PySDD source, https://github.com/wannesm/PySDD
-Keywords: sdd,knowledge compilation
+Author: Arthur Choi
+Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>
+License: Copyright 2018, KU Leuven and Regents of the University of California
+        
+        Licensed under the Apache License, Version 2.0 (the "License");
+        you may not use this file except in compliance with the License.
+        You may obtain a copy of the License at
+        
+           http://www.apache.org/licenses/LICENSE-2.0
+        
+        Unless required by applicable law or agreed to in writing, software
+        distributed under the License is distributed on an "AS IS" BASIS,
+        WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+        See the License for the specific language governing permissions and
+        limitations under the License.
+        
+Project-URL: Homepage, https://github.com/wannesm/PySDD
+Project-URL: Documentation, https://pysdd.readthedocs.io/en/latest/
+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
-Provides-Extra: all
-Provides-Extra: dev
+Requires-Python: >=3.8
+Description-Content-Type: text/x-rst
 License-File: LICENSE
+Requires-Dist: cython
+Requires-Dist: numpy
+Provides-Extra: tests
+Requires-Dist: pytest; extra == "tests"
 
 =====
 PySDD
 =====
 
-Python wrapper package to interactively use `Sententical Decision Diagrams (SDD) <http://reasoning.cs.ucla.edu/sdd/>`_.
+Python wrapper package to interactively use `Sentential 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
 ------------
@@ -148,31 +146,27 @@ perform memory management.
 Compilation from source
 -----------------------
 
+To install from source, 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, ...)
+
+The build process will download Cython and numpy in an isolated environment.
+
+Then run:
+
 .. code-block:: shell
 
-   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
+   $ pip install build
+   $ python -m build
 
-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``.
+To install the main branch:
 
-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.
+.. code-block:: shell
+
+   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
 
-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).
 
 
 ----------
@@ -184,7 +178,7 @@ programming language `ProbLog <https://dtai.cs.kuleuven.be/problog/>`_.
 
 References:
 
-* Wannes Meert, PySDD,
+* Wannes Meert & Arthur Choi, 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.
@@ -210,7 +204,7 @@ License
 
 Python SDD wrapper:
 
-Copyright 2017-2018, KU Leuven and Regents of the University of California.
+Copyright 2017-2024, KU Leuven and Regents of the University of California.
 Licensed under the Apache License, Version 2.0.
 
 

{PySDD-0.2.11 → pysdd-1.0.0}/PySDD.egg-info/PKG-INFO

@@ -1,48 +1,46 @@
 Metadata-Version: 2.1
 Name: PySDD
-Version: 0.2.11
+Version: 1.0.0
 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, http://pysdd.readthedocs.io/en/latest/
-Project-URL: PySDD source, https://github.com/wannesm/PySDD
-Keywords: sdd,knowledge compilation
+Author: Arthur Choi
+Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>
+License: Copyright 2018, KU Leuven and Regents of the University of California
+        
+        Licensed under the Apache License, Version 2.0 (the "License");
+        you may not use this file except in compliance with the License.
+        You may obtain a copy of the License at
+        
+           http://www.apache.org/licenses/LICENSE-2.0
+        
+        Unless required by applicable law or agreed to in writing, software
+        distributed under the License is distributed on an "AS IS" BASIS,
+        WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+        See the License for the specific language governing permissions and
+        limitations under the License.
+        
+Project-URL: Homepage, https://github.com/wannesm/PySDD
+Project-URL: Documentation, https://pysdd.readthedocs.io/en/latest/
+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
-Provides-Extra: all
-Provides-Extra: dev
+Requires-Python: >=3.8
+Description-Content-Type: text/x-rst
 License-File: LICENSE
+Requires-Dist: cython
+Requires-Dist: numpy
+Provides-Extra: tests
+Requires-Dist: pytest; extra == "tests"
 
 =====
 PySDD
 =====
 
-Python wrapper package to interactively use `Sententical Decision Diagrams (SDD) <http://reasoning.cs.ucla.edu/sdd/>`_.
+Python wrapper package to interactively use `Sentential 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
 ------------
@@ -148,31 +146,27 @@ perform memory management.
 Compilation from source
 -----------------------
 
+To install from source, 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, ...)
+
+The build process will download Cython and numpy in an isolated environment.
+
+Then run:
+
 .. code-block:: shell
 
-   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
+   $ pip install build
+   $ python -m build
 
-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``.
+To install the main branch:
 
-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.
+.. code-block:: shell
+
+   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
 
-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).
 
 
 ----------
@@ -184,7 +178,7 @@ programming language `ProbLog <https://dtai.cs.kuleuven.be/problog/>`_.
 
 References:
 
-* Wannes Meert, PySDD,
+* Wannes Meert & Arthur Choi, 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.
@@ -210,7 +204,7 @@ License
 
 Python SDD wrapper:
 
-Copyright 2017-2018, KU Leuven and Regents of the University of California.
+Copyright 2017-2024, KU Leuven and Regents of the University of California.
 Licensed under the Apache License, Version 2.0.
 
 

{PySDD-0.2.11 → pysdd-1.0.0}/PySDD.egg-info/SOURCES.txt

@@ -1,36 +1,19 @@
 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/weight_optimization_c.pxd
 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
@@ -46,7 +29,6 @@ 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
@@ -79,7 +61,6 @@ 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
@@ -90,25 +71,14 @@ 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
-pysdd/lib/weight_optimization/include/arithmetic_ansi.h
-pysdd/lib/weight_optimization/include/lbfgs.h
-pysdd/lib/weight_optimization/include/weight_optimizer.h
-pysdd/lib/weight_optimization/src/lbfgs.c
-pysdd/lib/weight_optimization/src/weight_optimizer.c
+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-1.0.0/PySDD.egg-info/requires.txt

@@ -0,0 +1,5 @@
+cython
+numpy
+
+[tests]
+pytest

{PySDD-0.2.11 → pysdd-1.0.0}/README.rst

@@ -2,27 +2,10 @@
 PySDD
 =====
 
-Python wrapper package to interactively use `Sententical Decision Diagrams (SDD) <http://reasoning.cs.ucla.edu/sdd/>`_.
+Python wrapper package to interactively use `Sentential 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
 ------------
@@ -128,31 +111,27 @@ perform memory management.
 Compilation from source
 -----------------------
 
+To install from source, 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, ...)
+
+The build process will download Cython and numpy in an isolated environment.
+
+Then run:
+
 .. code-block:: shell
 
-   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
+   $ pip install build
+   $ python -m build
 
-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``.
+To install the main branch:
 
-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.
+.. code-block:: shell
+
+   $ pip install git+https://github.com/wannesm/PySDD.git#egg=PySDD
 
-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).
 
 
 ----------
@@ -164,7 +143,7 @@ programming language `ProbLog <https://dtai.cs.kuleuven.be/problog/>`_.
 
 References:
 
-* Wannes Meert, PySDD,
+* Wannes Meert & Arthur Choi, 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.
@@ -190,7 +169,7 @@ License
 
 Python SDD wrapper:
 
-Copyright 2017-2018, KU Leuven and Regents of the University of California.
+Copyright 2017-2024, KU Leuven and Regents of the University of California.
 Licensed under the Apache License, Version 2.0.
 
 

pysdd-1.0.0/pyproject.toml

@@ -0,0 +1,120 @@
+[build-system]
+requires = ["setuptools", "cython"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "PySDD"
+version = "1.0.0"
+description = "Sentential Decision Diagrams"
+authors = [
+    { name = "Wannes Meert", email = "wannes.meert@cs.kuleuven.be" },
+    { name = "Arthur Choi" },
+]
+readme = "README.rst"
+license = { file = "LICENSE" }
+requires-python = ">=3.8"
+dependencies = [
+    "cython",
+    "numpy",
+]
+keywords = ["sdd, knowledge compilation"]
+classifiers = [
+    "Intended Audience :: Developers",
+    "License :: OSI Approved :: Apache Software License",
+    "Programming Language :: Python :: 3",
+    "Topic :: Scientific/Engineering :: Artificial Intelligence"
+]
+
+[project.optional-dependencies]
+tests = ["pytest"]
+
+
+
+[project.urls]
+Homepage = "https://github.com/wannesm/PySDD"
+Documentation = "https://pysdd.readthedocs.io/en/latest/"
+
+[project.entry-points."console_scripts"]
+pysdd = "pysdd.cli:main"
+
+[tool.setuptools]
+packages=["pysdd"]
+
+[[tool.setuptools.ext-modules]]
+name = "pysdd.sdd"
+sources = [
+    "pysdd/sdd.pyx",
+    "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/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_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/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",
+]
+include-dirs = [
+    "pysdd/lib/libsdd-2.0/include",
+    "pysdd/lib/sdd-2.0/include",
+    "pysdd/lib/sdd_extra/include",
+]
+
+[tool.cibuildwheel]
+environment = {CFLAGS="-std=c99 -O2 -finline-functions" }
+
+[tool.cibuildwheel.windows]
+environment = {CL = "/O2"}
+

pysdd-1.0.0/pysdd/__init__.py

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

{PySDD-0.2.11 → pysdd-1.0.0}/pysdd/lib/libsdd-2.0/src/basic/hash.c

@@ -2,6 +2,7 @@
  * The Sentential Decision Diagram Package
  * sdd version 2.0, January 8, 2018
  * http://reasoning.cs.ucla.edu/sdd
+ * Modified by DTAI.
  ****************************************************************************************/
 
 #include "sdd.h"
@@ -103,6 +104,19 @@ SddSize key_sdd_node(SddNode* node, SddHash* hash) {
  * hash table properties
  *******************************************************************************************/
 
+#if defined(WIN32) || defined(_WIN32)
+#else
+inline
+float hit_rate(SddHash* hash) {
+  return 100.0*hash->hit_count/hash->lookup_count;
+}
+
+inline
+float ave_lookup_cost(SddHash* hash) {
+  return ((float)hash->lookup_cost)/hash->lookup_count;
+}
+#endif
+
 
 //percentage of entries in hash table that have non-empty collision lists 
 float saturation(SddHash* hash) {

{PySDD-0.2.11 → pysdd-1.0.0}/pysdd/lib/libsdd-2.0/src/basic/memory.c

@@ -2,6 +2,7 @@
  * The Sentential Decision Diagram Package
  * sdd version 2.0, January 8, 2018
  * http://reasoning.cs.ucla.edu/sdd
+ * Modified by DTAI.
  ****************************************************************************************/
 
 #include "sdd.h"
@@ -84,7 +85,7 @@ SddNode* new_sdd_node(SddNodeType type, SddNodeSize size, Vtree* vtree, SddManag
   else { //allocate decomposition 
     assert(size > 0);
     //allocate decomposition node
-    int bucket = (size < GC_BUCKETS_COUNT? size: 0);
+    size_t bucket = (size < GC_BUCKETS_COUNT? size: 0);
     node       = manager->gc_node_lists[bucket];	
     if(node != NULL) { //allocating from gc list
       --manager->gc_node_count;
@@ -156,7 +157,7 @@ void gc_sdd_node(SddNode* node, SddManager* manager) {
   ++manager->gc_node_count;
   manager->gc_element_count += node->size; //no change for literal sdds
   
-  int bucket = (node->size < GC_BUCKETS_COUNT? node->size: 0); //literal sdds go into bucket 0
+  size_t bucket = (node->size < GC_BUCKETS_COUNT? node->size: 0); //literal sdds go into bucket 0
   node->next = manager->gc_node_lists[bucket]; 
   manager->gc_node_lists[bucket] = node; //add node to corresponding bucket