diff --git a/CHANGELOG.md b/CHANGELOG.md index 07403980..3a48eb35 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,13 +1,17 @@ -# Changelog +# LogicNG Java 11 Changelog LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html). -## [x.y.z] - 2023-mm-dd +## [2.4.2] - 2023-03-22 ### Changed +- Changed artifact id to `logicng-j11` (for Java 11 only) - Changed Java Version to JDK 11 -- switched to ANTLR 4.10 +- switched to ANTLR 4.11.1 + +# LogicNG Java 8 Changelog + ## [2.4.1] - 2022-12-01 diff --git a/README.md b/README.md index 25518bed..d1771799 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,12 @@ -![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-ff69b4.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng%22) +![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-ff69b4.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng-j11%22) logo +# This is a Java 11 branch for LogicNG + +Use this branch if you need a current ANTLR version > 4.9. + ## Introduction LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementations of popular tools @@ -33,8 +37,8 @@ LogicNG is released in the Maven Central Repository. To include it just add org.logicng - logicng - 2.4.1 + logicng-j11 + 2.4.2 ``` diff --git a/pom.xml b/pom.xml index 89350165..ad614817 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ 4.0.0 org.logicng logicng-j11 - 2.4.1 + 2.4.2 bundle LogicNG