From e32e82eedb2ee11c0478d500cbf7791bdb33c368 Mon Sep 17 00:00:00 2001 From: Christoph Zengler Date: Thu, 24 Nov 2022 11:52:00 +0100 Subject: [PATCH] Final 2.4.0 release --- CHANGELOG.md | 4 ++-- pom.xml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a25fce79..10b014cb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,13 +2,13 @@ LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html). -## [2.4.0] - 2022-mm-dd +## [2.4.0] - 2022-11-24 ### Added - Completely rewritten graphical outputs of formulas, BDDs, and graphs in the package `org.logicng.io.graphical`. It is now possible to configure the generated graphs by dynamically styling nodes, edges, and computing node labels. Also, there are now two possible output formats: GraphViz DOT and Mermaid.js. -- Convenience methods `isSatisfiable`, `implies`, `isImpliedBy` and `isEquivalentTo` in the `Formula` class. +- Convenience methods `isSatisfiable`, `isTautology`, `isContradiction`, `implies`, `isImpliedBy` and `isEquivalentTo` in the `Formula` class. - New OLL algorithm for OpenWBO for more efficient weighted MaxSAT solving. - Two overloaded factory methods `mk` in `MiniSat` to construct a solver by formula factory, solver style and optional configuration. - Methods to directly apply Boolean functions on BDDs diff --git a/pom.xml b/pom.xml index c1f2f6bb..dc9068f5 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ 4.0.0 org.logicng logicng - 2.4.0-SNAPSHOT + 2.4.0 bundle LogicNG