Final 2.2.1 release

logic-ng · Jun 11, 2022 · aea0cc4 · aea0cc4
1 parent bce1e3c
commit aea0cc4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 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.2.1] - 2022-06-09
+## [2.2.1] - 2022-06-11
 
 ### Added
 
@@ -22,12 +22,13 @@ LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 ### Fixed
 
 - Fixed a bug in the `addSoftFormula` method of the `MaxSATSolver` class. A soft formula is now weighted properly if the soft formula is not a clause.
-- Fixed a bug in the `addWithRelaxation` method of the `SATSolver` class. The CNF of the formula is now computed properly regarding the configuration of the solver.
+- Fixed a bug in the `addWithRelaxation` method of the `SATSolver` class. The CNF of the formula is now computed properly regarding the configuration of the
+  solver.
 
 ### Deprecated
 
 - Deprecation of method `addWithoutUnknown` in class `SATSolver` - this method will be removed in future versions.
-- Deprecation of method `addWithRelaxation` for propositions in class `SATSolver` - this method will be removed in future versions. 
+- Deprecation of method `addWithRelaxation` for propositions in class `SATSolver` - this method will be removed in future versions.
 
 ## [2.1.0] - 2021-07-18
 

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.2.1-SNAPSHOT</version>
+  <version>2.2.1</version>
   <packaging>bundle</packaging>
 
   <name>LogicNG</name>