From 2b6d23c600ab16b756ce917590e3400713e7a8e3 Mon Sep 17 00:00:00 2001 From: Christoph Zengler Date: Thu, 1 Dec 2022 10:22:35 +0100 Subject: [PATCH] Final 2.4.1 release --- CHANGELOG.md | 1 + README.md | 4 ++-- pom.xml | 2 +- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 664d63af..1e9b85fa 100644 --- a/CHANGELOG.md +++ b/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 diff --git a/README.md b/README.md index 80344698..25518bed 100644 --- a/README.md +++ b/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 org.logicng logicng - 2.4.0 + 2.4.1 ``` diff --git a/pom.xml b/pom.xml index 0be1b9a3..46a1fb80 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ 4.0.0 org.logicng logicng - 2.4.1-SNAPSHOT + 2.4.1 bundle LogicNG