version

diff --git a/VERSION.cmake b/VERSION.cmake
index 39d1ae6323714c8c262d5a341bddf116c80593d8..88b56b408af707104862bc2696dff75d6df39e8e 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -45,7 +45,7 @@
 #
 
 SET(LIBSATSOLVER_MAJOR "0")
-SET(LIBSATSOLVER_MINOR "12")
-SET(LIBSATSOLVER_PATCH "3")
+SET(LIBSATSOLVER_MINOR "13")
+SET(LIBSATSOLVER_PATCH "0")
 
 # last released 0.12.2