Fixed bug where wrong specifier was used for printing SddLiteral

rmanhaeve · rmanhaeve · commit daf8332d8b40 · 2025-02-19T21:27:24.000+01:00
diff --git a/pysdd/lib/libsdd-2.0/include/sdd.h b/pysdd/lib/libsdd-2.0/include/sdd.h
@@ -34,7 +34,7 @@ typedef double SddWmc; // weighted model count
 typedef long long SddLiteral; //literals of clauses
 
 //control strings
-#define PRIsS "zu"
+#define PRIsS "lli"
 #define PRInsS "u"
 #define PRIrcS "u"
 #define PRImcS "llu"
diff --git a/pysdd/lib/sdd-2.0/include/sddapi.h b/pysdd/lib/sdd-2.0/include/sddapi.h
@@ -31,7 +31,7 @@ typedef long long SddLiteral; //literals of clauses
 typedef char SddNodeType; //holds one of two values defined next
 
 //control strings
-#define PRIsS "zu"
+#define PRIsS "lli"
 #define PRInsS "u"
 #define PRIrcS "u"
 #define PRImcS "llu"
