Bump version number.

Boolector · Feb 8, 2020 · 365eaab · 365eaab
1 parent 75e4d40
commit 365eaab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -3,7 +3,7 @@ cmake_minimum_required(VERSION 3.3)
 #-----------------------------------------------------------------------------#
 
 project(boolector)
-set(VERSION "3.1.1")
+set(VERSION "3.2.0")
 string(TIMESTAMP TIME)
 
 #-----------------------------------------------------------------------------#

diff --git a/NEWS b/NEWS
@@ -1,4 +1,4 @@
- news for release 3.1.1 since 3.1.0
+ news for release 3.2.0 since 3.1.0
 --------------------------------------------------------------------------------
 + new dumper CNF printer (enable with CLI option -dd and API option
   BTOR_OPT_PRINT_DIMACS)