Final 2.3.0 release

logic-ng · Jul 18, 2022 · 3fec85f · 3fec85f
1 parent a06339f
commit 3fec85f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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>