PySDD 1.0.0__tar.gz → 1.0.2__tar.gz

{pysdd-1.0.0 → pysdd-1.0.2}/PKG-INFO

@@ -1,9 +1,9 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.2
 Name: PySDD
-Version: 1.0.0
+Version: 1.0.2
 Summary: Sentential Decision Diagrams
 Author: Arthur Choi
-Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>
+Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>, Robin Manhaeve <robin.manhaeve@kuleuven.be>
 License: Copyright 2018, KU Leuven and Regents of the University of California
         
         Licensed under the Apache License, Version 2.0 (the "License");
@@ -29,9 +29,10 @@ 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"
+Provides-Extra: notebooks
+Requires-Dist: numpy; extra == "notebooks"
 
 =====
 PySDD

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

@@ -1,9 +1,9 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.2
 Name: PySDD
-Version: 1.0.0
+Version: 1.0.2
 Summary: Sentential Decision Diagrams
 Author: Arthur Choi
-Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>
+Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>, Robin Manhaeve <robin.manhaeve@kuleuven.be>
 License: Copyright 2018, KU Leuven and Regents of the University of California
         
         Licensed under the Apache License, Version 2.0 (the "License");
@@ -29,9 +29,10 @@ 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"
+Provides-Extra: notebooks
+Requires-Dist: numpy; extra == "notebooks"
 
 =====
 PySDD

{pysdd-1.0.0 → pysdd-1.0.2}/PySDD.egg-info/requires.txt

@@ -1,4 +1,6 @@
 cython
+
+[notebooks]
 numpy
 
 [tests]

{pysdd-1.0.0 → pysdd-1.0.2}/pyproject.toml

@@ -4,18 +4,18 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "PySDD"
-version = "1.0.0"
+version = "1.0.2"
 description = "Sentential Decision Diagrams"
 authors = [
     { name = "Wannes Meert", email = "wannes.meert@cs.kuleuven.be" },
     { name = "Arthur Choi" },
+    { name = "Robin Manhaeve", email = "robin.manhaeve@kuleuven.be" },
 ]
 readme = "README.rst"
 license = { file = "LICENSE" }
 requires-python = ">=3.8"
 dependencies = [
     "cython",
-    "numpy",
 ]
 keywords = ["sdd, knowledge compilation"]
 classifiers = [
@@ -27,7 +27,7 @@ classifiers = [
 
 [project.optional-dependencies]
 tests = ["pytest"]
-
+notebooks = ["numpy"]
 
 
 [project.urls]
@@ -114,6 +114,8 @@ include-dirs = [
 
 [tool.cibuildwheel]
 environment = {CFLAGS="-std=c99 -O2 -finline-functions" }
+test-requires = "pytest"
+test-command = "pytest {project}/tests"
 
 [tool.cibuildwheel.windows]
 environment = {CL = "/O2"}

{pysdd-1.0.0 → pysdd-1.0.2}/pysdd/sdd.pyx

@@ -17,6 +17,7 @@ from . cimport io_c
 from . cimport fnf_c
 from cpython cimport array
 from cpython.mem cimport PyMem_Malloc, PyMem_Free
+from libc.time cimport clock_t
 
 import os
 import tempfile
@@ -1034,7 +1035,7 @@ cdef class SddManager:
     def set_vtree_search_convergence_threshold(self, float threshold):
         sddapi_c.sdd_manager_set_vtree_search_convergence_threshold(threshold, self._sddmanager)
 
-    def set_vtree_search_time_limit(self, float time_limit):
+    def set_vtree_search_time_limit(self, clock_t time_limit):
         """Set the time limits for the vtree search algorithm.
 
         A vtree operation is either a rotation or a swap. Times are in seconds and correspond to CPU time.
@@ -1042,7 +1043,7 @@ cdef class SddManager:
         """
         sddapi_c.sdd_manager_set_vtree_search_time_limit(time_limit, self._sddmanager)
 
-    def set_vtree_fragment_time_limit(self, float time_limit):
+    def set_vtree_fragment_time_limit(self, clock_t time_limit):
         """Set the time limits for the vtree search algorithm.
 
         A vtree operation is either a rotation or a swap. Times are in seconds and correspond to CPU time.
@@ -1050,7 +1051,7 @@ cdef class SddManager:
         """
         sddapi_c.sdd_manager_set_vtree_fragment_time_limit(time_limit, self._sddmanager)
 
-    def set_vtree_operation_time_limit(self, float time_limit):
+    def set_vtree_operation_time_limit(self, clock_t time_limit):
         """Set the time limits for the vtree search algorithm.
 
         A vtree operation is either a rotation or a swap. Times are in seconds and correspond to CPU time.
@@ -1058,7 +1059,7 @@ cdef class SddManager:
         """
         sddapi_c.sdd_manager_set_vtree_operation_time_limit(time_limit, self._sddmanager)
 
-    def set_vtree_apply_time_limit(self, float time_limit):
+    def set_vtree_apply_time_limit(self, clock_t time_limit):
         """Set the time limits for the vtree search algorithm.
 
         A vtree operation is either a rotation or a swap. Times are in seconds and correspond to CPU time.