1 files changed, 37 insertions, 0 deletions
diff --git a/src/prop/cryptominisat/Solver/SharedData.h b/src/prop/cryptominisat/Solver/SharedData.h
new file mode 100644
index 000000000..394b517f7
--- /dev/null
+++ b/src/prop/cryptominisat/Solver/SharedData.h
@@ -0,0 +1,37 @@
+/**************************************************************************
+CryptoMiniSat -- Copyright (c) 2009 Mate Soos
+
+This program is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*****************************************************************************/
+
+#ifndef SHARED_DATA_H
+#define SHARED_DATA_H
+
+#include "Vec.h"
+#include "SolverTypes.h"
+
+#include <vector>
+
+namespace CMSat {
+
+class SharedData
+{
+    public:
+        vec<lbool> value;
+        std::vector<std::vector<Lit> > bins;
+};
+
+}
+
+#endif //SHARED_DATA_H