Adding python api for serilizing + performance improvement + making logs more readable
[satune.git] / src / ccsolver.cc
index 3d09bea1ab009c2d1904b624e648d566d3161ef2..823b2f20ac33cb0ed23cd667c2169c627776c847 100644 (file)
@@ -136,4 +136,6 @@ void printConstraints(void* solver){
 
 
 
-
+void serialize(void* solver){
+       CCSOLVER(solver)->serialize();
+}