Final 2.4.1 release

CHANGELOG.md

@@ -7,6 +7,7 @@ LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 ### Changed
 
 - Allowing symbol `#` in variable names for the `PropositionalParser` and the `PseudoBooleanParser`.
+- Set the Java Jigsaw automatic module name to `logicng` in the manifest.
 
 ## [2.4.0] - 2022-11-24
 

README.md

@@ -18,7 +18,7 @@ An extensive white paper with a lot of interesting use cases of LogicNG for conf
 
 ## Philosophy
 
-The most important philosophy of the library is to avoid unnecessary object creation. Therefore formulas can only be generated via formula factories. A formula
+The most important philosophy of the library is to avoid unnecessary object creation. Therefore, formulas can only be generated via formula factories. A formula
 factory assures that a formula is only created once in memory. If another instance of the same formula is created by the user, the already existing one is
 returned by the factory. This leads to a small memory footprint and fast execution of algorithms. Formulas can cache the results of algorithms executed on them
 and since every formula is hold only once in memory it is assured that the same algorithm on the same formula is also executed only once.
@@ -34,7 +34,7 @@ LogicNG is released in the Maven Central Repository. To include it just add
 <dependency>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>2.4.0</version>
+  <version>2.4.1</version>
 </dependency>
 ```
 

pom.xml

@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>2.4.1-SNAPSHOT</version>
+  <version>2.4.1</version>
   <packaging>bundle</packaging>
 
   <name>LogicNG</name>