diff --git a/CHANGES.txt b/CHANGES.txt index bd5bd5b..3bb6c8e 100644 --- a/CHANGES.txt +++ b/CHANGES.txt @@ -2,6 +2,9 @@ # findMUS Changelog # ====================== +version 2.10.1 + - Synchronise version number with MiniZInc version. + version 0.7.0 ============= - Automatically generate findmus.msc file diff --git a/CMakeLists.txt b/CMakeLists.txt index 07ce768..72afcfd 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -23,9 +23,9 @@ include_directories(${minisat_SOURCE_DIR}) include_directories("include" ${CMAKE_BINARY_DIR}) # The version number. -set (findMUS_VERSION_MAJOR 0) -set (findMUS_VERSION_MINOR 7) -set (findMUS_VERSION_PATCH 0) +set (findMUS_VERSION_MAJOR 2) +set (findMUS_VERSION_MINOR 10) +set (findMUS_VERSION_PATCH 1) add_library(hiermus lib/SubProblem.cpp