Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools

Bumps [org.logicng:logicng](https://github.com/logic-ng/LogicNG) from 2.4.1 to 2.5.0. - [Release notes](https://github.com/logic-ng/LogicNG/releases) - [Changelog](https://github.com/logic-ng/LogicNG/blob/master/CHANGELOG.md) - [Commits](logic-ng/LogicNG@v2.4.1...v2.5.0) --- updated-dependencies: - dependency-name: org.logicng:logicng dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
ge-high-assurance · May 2, 2024 · 84e2782 · 84e2782
1 parent 8fa80ed
commit 84e2782
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/pom.xml b/tools/pom.xml
@@ -237,7 +237,7 @@
       <dependency>
         <groupId>org.logicng</groupId>
         <artifactId>logicng</artifactId>
-        <version>2.4.1</version>
+        <version>2.5.0</version>
       </dependency>
       <dependency>
         <groupId>org.ow2.asm</groupId>