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 6d38a3fc81ebe35d1b350e4ea92249aadcfe896e..6a159457aa6ba519d68dafa97986d531d2491cc1 100644 (file)
--- 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 263294ab16797295f40f54dd0fe552939d4ec3a1..19b4a2d14daf728f72b489cff870440524ade6ea 100644 (file)
--- 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);