edit

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 607bca675aa5900084f598afda2d5c54179eae66..fbf22da5bb7aa3f97284a69b5bbb72946e7c3cd6 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -6,6 +6,9 @@
 
 struct CSolver {
        SATEncoder *satEncoder;
+       bool unsat;
+       Tuner *tuner;
+       
        /** This is a vector of constraints that must be satisfied. */
        HashSetBoolean *constraints;