version

diff --git a/VERSION.cmake b/VERSION.cmake
index 39d1ae6..88b56b4 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