edits

[satune.git] / src / Backend / constraint.h

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index 02fe3da617731c300e8d6a9adbb4f4cd009ab229..2f61d72a41e31d86acd1ca814a7eb3df43ff38e5 100644 (file)
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -63,6 +63,8 @@ struct CNF {
        IncrementalSolver *solver;
        VectorEdge constraints;
        VectorEdge args;
+       long long solveTime;
+       long long encodeTime;
 };
 
 typedef struct CNF CNF;