I hacked in a temporary way to restart minisat for multiple queries.

1 files changed, 6 insertions, 4 deletions

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 131ac98dc..247a5b096 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -81,10 +81,6 @@ protected:
    */
   minisat::Lit lookupInCache(const Node & n) const;
 
-  /**
-   * Empties the internal translation cache.
-   */
-  void flushCache();
 
   //negotiates the mapping of atoms to literals with PropEngine
   void registerMapping(const Node & node, minisat::Lit lit, bool atom = false);
@@ -99,6 +95,12 @@ public:
    */
   CnfStream(CVC4::PropEngine *pe);
 
+
+  /**
+   * Empties the internal translation cache.
+   */
+  void flushCache();
+
   /**
    * Converts and asserts a formula.
    * @param n node to convert and assert