Adding clone API in pycsolver ...

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 25e176172cd7abfcb1d86af445805b84e4dbe4bf..1c4548038f37cc1e814d06757c01c3ff4889cc5e 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -144,3 +144,7 @@ void serialize(void* solver){
 void mustHaveValue(void *solver, void *element){
        CCSOLVER(solver)->mustHaveValue( (Element*) element);
 }
+
+void* clone(void * solver){
+       return CCSOLVER(solver)->clone();
+}
\ No newline at end of file