From 44605f5af647cc6963603116091fcbe98080d660 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 4 Apr 2017 03:17:24 -0700
Subject: Experiments with don't-cares.

---
 src/sat/bsat/satSolver.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/sat/bsat/satSolver.h')

diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index e8a350ca..6ec437f7 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -193,6 +193,10 @@ struct sat_solver_t
 
     veci        temp_clause;    // temporary storage for a CNF clause
 
+    // assignment storage
+    veci        user_vars;      // variable IDs
+    veci        user_values;    // values of these variables
+
     // CNF loading
     void *      pCnfMan;           // external CNF manager
     int(*pCnfFunc)(void * p, int); // external callback
-- 
cgit v1.2.3