Adding max time setting to C interface

By Berke Durak thanks!

Author: msoos

Diff for: src/cryptominisat_c.cpp

@@ -162,4 +162,8 @@ extern "C"
         auto temp = wrap(fromc(assumptions), num_assumptions);
         return toc(self->simplify(&temp));
     } NOEXCEPT_END
+
+    DLL_PUBLIC void cmsat_set_max_time(SATSolver* self, double max_time) NOEXCEPT_START {
+        self->set_max_time(max_time);
+    } NOEXCEPT_END
 }

Diff for: src/cryptominisat_c.h.in

@@ -80,6 +80,7 @@ CMS_DLL_PUBLIC void cmsat_set_no_bva(SATSolver* self) NOEXCEPT;
 CMS_DLL_PUBLIC void cmsat_set_no_bve(SATSolver* self) NOEXCEPT;
 CMS_DLL_PUBLIC void cmsat_set_yes_comphandler(SATSolver* self) NOEXCEPT;
 CMS_DLL_PUBLIC c_lbool cmsat_simplify(SATSolver* self, const c_Lit* assumptions, size_t num_assumptions) NOEXCEPT;
+CMS_DLL_PUBLIC void cmsat_set_max_time(SATSolver* self, double max_time) NOEXCEPT;
 
 #ifdef __cplusplus
 } // end extern c