PySDD 1.0.2__tar.gz → 1.0.4__tar.gz

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: PySDD
-Version: 1.0.2
+Version: 1.0.4
 Summary: Sentential Decision Diagrams
 Author: Arthur Choi
 Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>, Robin Manhaeve <robin.manhaeve@kuleuven.be>

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: PySDD
-Version: 1.0.2
+Version: 1.0.4
 Summary: Sentential Decision Diagrams
 Author: Arthur Choi
 Author-email: Wannes Meert <wannes.meert@cs.kuleuven.be>, Robin Manhaeve <robin.manhaeve@kuleuven.be>

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

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "PySDD"
-version = "1.0.2"
+version = "1.0.4"
 description = "Sentential Decision Diagrams"
 authors = [
     { name = "Wannes Meert", email = "wannes.meert@cs.kuleuven.be" },
@@ -113,10 +113,10 @@ include-dirs = [
 ]
 
 [tool.cibuildwheel]
-environment = {CFLAGS="-std=c99 -O2 -finline-functions" }
+environment = {CFLAGS="-O3 -DNDEBUG" }
 test-requires = "pytest"
 test-command = "pytest {project}/tests"
 
 [tool.cibuildwheel.windows]
-environment = {CL = "/O2"}
+environment = {CL = "/O2 /DNDEBUG"}
 

{pysdd-1.0.2 → pysdd-1.0.4}/pysdd/lib/libsdd-2.0/src/sdds/io.c

@@ -284,9 +284,9 @@ void print_sdd_node_file(FILE* file, SddNode* node) {
 
   if(node->type==TRUE) fprintf(file,"T %"PRIsS"\n",node->index);
   else if(node->type==FALSE) fprintf(file,"F %"PRIsS"\n",node->index);
-  else if(node->type==LITERAL) fprintf(file,"L %"PRIsS" %"PRIsS" %"PRIlitS"\n",node->index,vtree->position,LITERAL_OF(node));
+  else if(node->type==LITERAL) fprintf(file,"L %"PRIsS" %"PRIlitS" %"PRIlitS"\n",node->index,vtree->position,LITERAL_OF(node));
   else {//decomposition 
-    fprintf(file,"D %"PRIsS" %"PRIsS" %"PRIsS"",node->index,vtree->position,node->size);
+    fprintf(file,"D %"PRIsS" %"PRIlitS" %"PRIsS"",node->index,vtree->position,node->size);
 	FOR_each_prime_sub_of_node(prime,sub,node,fprintf(file," %"PRIsS" %"PRIsS"",prime->index,sub->index));
     fprintf(file,"\n");     
   }

{pysdd-1.0.2 → pysdd-1.0.4}/pysdd/lib/libsdd-2.0/src/vtree_search/search.c

@@ -56,7 +56,7 @@ static inline
 SddSize balance(Vtree* vtree, SddManager* manager) {
   SddLiteral left_count  = sdd_vtree_var_count(sdd_vtree_left(vtree));
   SddLiteral right_count = sdd_vtree_var_count(sdd_vtree_right(vtree));
-  return labs(left_count - right_count);
+  return llabs(left_count - right_count);
 }
 
 /****************************************************************************************

{pysdd-1.0.2 → pysdd-1.0.4}/pysdd/lib/libsdd-2.0/src/vtrees/compare.c

@@ -52,9 +52,9 @@ Vtree* sdd_vtree_lca(Vtree* vtree1, Vtree* vtree2, Vtree* root) {
 Vtree* sdd_manager_lca_of_literals(int count, SddLiteral* literals, SddManager* manager) {
   assert(count>0);
   Vtree* root  = manager->vtree;
-  Vtree* vtree = sdd_manager_vtree_of_var(labs(literals[0]),manager); 
+  Vtree* vtree = sdd_manager_vtree_of_var(llabs(literals[0]),manager); 
   for(int i=1; i<count; i++) {
-    Vtree* leaf = sdd_manager_vtree_of_var(labs(literals[i]),manager); 
+    Vtree* leaf = sdd_manager_vtree_of_var(llabs(literals[i]),manager); 
     vtree       = sdd_vtree_lca(vtree,leaf,root);
   }
   return vtree;

{pysdd-1.0.2 → pysdd-1.0.4}/pysdd/lib/libsdd-2.0/src/vtrees/io.c

@@ -38,12 +38,12 @@ Vtree* sdd_vtree_read(const char* filename) {
 //prints a vtree node
 void print_vtree_node(FILE* file, const Vtree* vnode) {
   if(LEAF(vnode)) {
-    fprintf(file,"L %"PRIsS" %"PRIlitS"",vnode->position,vnode->var);
+    fprintf(file,"L %"PRIlitS" %"PRIlitS"",vnode->position,vnode->var);
   } 
   else { // internal node
     print_vtree_node(file,vnode->left);
     print_vtree_node(file,vnode->right);
-    fprintf(file,"I %"PRIsS" %"PRIsS" %"PRIsS"",vnode->position,vnode->left->position,vnode->right->position);
+    fprintf(file,"I %"PRIlitS" %"PRIlitS" %"PRIlitS"",vnode->position,vnode->left->position,vnode->right->position);
   }
   fprintf(file,"\n");
 }
@@ -66,7 +66,7 @@ void print_vtree_header(FILE* file) {
 void print_vtree(FILE* file, const Vtree* vtree) {
   SddLiteral count = 2*(vtree->var_count) -1;
   print_vtree_header(file);
-  fprintf(file,"vtree %"PRIsS"\n",count);
+  fprintf(file,"vtree %"PRIlitS"\n",count);
   print_vtree_node(file,vtree);
 }
 
@@ -91,13 +91,13 @@ void print_vtree_nodes_as_dot(FILE* file, const Vtree* vtree) {
   if(LEAF(vtree)) {
     SddLiteral var = vtree->var;
     char* var_string = literal_to_label(var);
-    fprintf(file,"\nn%"PRIsS" [label=\"%s\",fontname=\"Times-Italic\","
+    fprintf(file,"\nn%"PRIlitS" [label=\"%s\",fontname=\"Times-Italic\","
             "fontsize=14,shape=\"%s\",fixedsize=true,width=.25,height=.25"
             "]; ",position,var_string,shape);
     free(var_string);
   } 
   else {
-    fprintf(file,"\nn%"PRIsS" [label=\"%"PRIsS"\",fontname=\"Times\","
+    fprintf(file,"\nn%"PRIlitS" [label=\"%"PRIlitS"\",fontname=\"Times\","
            "shape=\"%s\",fontsize=12,fixedsize=true,width=.2,height=.18]; ",
            position,position,shape);
     print_vtree_nodes_as_dot(file,vtree->left);
@@ -110,14 +110,14 @@ void print_vtree_edges_as_dot(FILE* file, const Vtree* vtree, const Vtree* paren
   if(LEAF(vtree)) {
     if(parent != NULL) {
       SddLiteral parent_position = vtree->parent->position;
-      fprintf(file,"\nn%"PRIsS"->n%"PRIsS" [headclip=true,arrowhead=none,headlabel=\"%"PRIsS"\","
+      fprintf(file,"\nn%"PRIlitS"->n%"PRIlitS" [headclip=true,arrowhead=none,headlabel=\"%"PRIlitS"\","
               "labelfontname=\"Times\",labelfontsize=10];",parent_position,position,position);
     }
   } 
   else { //internal node
     if(parent != NULL) {
       SddLiteral parent_position = vtree->parent->position;
-      fprintf(file,"\nn%"PRIsS"->n%"PRIsS" [arrowhead=none];",parent_position,position);
+      fprintf(file,"\nn%"PRIlitS"->n%"PRIlitS" [arrowhead=none];",parent_position,position);
     }
     print_vtree_edges_as_dot(file,vtree->left,vtree);
     print_vtree_edges_as_dot(file,vtree->right,vtree); // right first?