Prepare 2.5.1 release

Author: czengler

CHANGELOG.md

@@ -2,6 +2,14 @@
 
 LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [2.5.1] - 2024-07-31
+
+### Changed
+
+- Changed visibility from some methods from package-private to public for formula and solver serializiation via the 
+  new https://github.com/logic-ng/serialization library
+
+
 ## [2.5.0] - 2024-05-02
 
 ### Removed (Potentially Breaking Change!)

README.md

@@ -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.5.0</version>
+  <version>2.5.1</version>
 </dependency>
 ```
 

pom.xml

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