From 3fec85f2abf5908942396c8e507949539ceefc7b Mon Sep 17 00:00:00 2001
From: Christoph Zengler <christoph.zengler@booleworks.com>
Date: Mon, 18 Jul 2022 20:59:32 +0200
Subject: [PATCH] Final 2.3.0 release

---
 CHANGELOG.md | 4 ++--
 pom.xml      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 86ea8334..833cc432 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,7 @@
 
 LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [2.3.0] - 2022-mm-dd
+## [2.3.0] - 2022-07-18
 
 ### Added
 
@@ -32,7 +32,7 @@ LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
   `TermPredicate#getMaxtermPredicate()` tested for a minterm. To prevent silent errors for callers of these predicates, the factory method names were changed
   to `minterm()` and `maxterm()`, respectively. Thus, an intentional breaking change on compile time level has been introduced to force callers to adjust their
   logic.
-- Minor edge case issue in `MiniSat` when performing assumption solving with proof tracing
+- Minor edge case issue in `MiniSat` when performing assumption solving with proof tracing.
 - Fixed two bugs in the backbone computation on the MiniCard solver.
 
 ## [2.2.1] - 2022-06-11
diff --git a/pom.xml b/pom.xml
index 8222e989..d1a94fcf 100644
--- a/pom.xml
+++ b/pom.xml
@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>2.3.0-SNAPSHOT</version>
+  <version>2.3.0</version>
   <packaging>bundle</packaging>
 
   <name>LogicNG</name>