From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 11 Aug 2011 12:54:25 +0000 (+0000)
Subject: Add ability to use CMS2 via the c-interface.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=1257b919786057af0230a92e28351c6d8987eb6b;p=francis%2Fstp.git

Add ability to use CMS2 via the c-interface.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1386 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 6d38a3f..6a15945 100644
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -40,7 +40,7 @@ extern int smtparse(void*);
 
 void vc_setFlags(VC vc, char c, int param_value) {
   bmstar b = (bmstar)(((stpstar)vc)->bm);
-  
+
   std::string helpstring = 
     "Usage: stp [-option] [infile]\n\n";
   helpstring += 
@@ -145,6 +145,12 @@ void vc_setInterfaceFlags(VC vc, enum ifaceflag_t f, int param_value) {
   case EXPRDELETE:
     cinterface_exprdelete_on_flag = param_value != 0;
     break;
+  case CMS2:
+      {
+      bmstar b = (bmstar)(((stpstar)vc)->bm);
+      b->UserFlags.solver_to_use = BEEV::UserDefinedFlags::CRYPTOMINISAT_SOLVER;
+      break;
+      }
   default:
     BEEV::FatalError("C_interface: vc_setInterfaceFlags: Unrecognized flag\n");
     break;
diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h
index 263294a..19b4a2d 100644
--- a/src/c_interface/c_interface.h
+++ b/src/c_interface/c_interface.h
@@ -57,7 +57,8 @@ extern "C" {
     this flag is set both at the time the objects are created and at
     the time that vc_Destroy is called, vc_Destroy will automatically
     delete them. */
-    EXPRDELETE
+    EXPRDELETE,
+    CMS2
   };
   void vc_setInterfaceFlags(VC vc, enum ifaceflag_t f, int param_value);