This project provides utils for dealing with logical experessions e.g. with first-order predicate logic.
| License | GPL 3.0 |
|---|---|
| Tags | libraryai |
| HomePage | https://libs.ai 🔍 Inspect URL |
| Date | Sep 28, 2021 |
| Files | pom (5 KB) jar (67 KB) View All |
| Repositories | CentralNutz |
| Ranking | #75535 in MvnRepository (See Top Artifacts) |
| Used By | 6 artifacts |
| Vulnerabilities | Vulnerabilities from dependencies: CVE-2023-2976 CVE-2020-8908 |
Compile Dependencies (6)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
GPL 3.0 | | ai.libs » jaicore-basic | 0.2.5 | 0.2.7 |
| Core Utils Apache 2.0 |  | com.google.guava » guava2 vulnerabilities | 27.0-jre | 33.5.0-jre |
BSD |  | org.aeonbits.owner » owner-java8 | 1.0.10 | 1.0.12 |
GPL 3.0 | | org.api4 » common | 1.0.0 | ✔ |
GPL 3.0 | | org.api4 » algorithm | 1.0.0 | ✔ |
| Logging MIT |  | org.slf4j » slf4j-api | 1.7.25 | 2.0.17 |
Test Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
GPL 3.0 | | ai.libs » jaicore-basic | 0.2.5 | 0.2.7 |
| Concurrency Apache 2.0 |  | org.awaitility » awaitility | 4.0.3 | 4.3.0 |
| Testing BSD 3-clause |  | org.hamcrest » hamcrest-all | 1.3 | 3.0 |
| Testing EPL 2.0 |  | org.junit.jupiter » junit-jupiter-api | 5.5.2 | 6.0.1 |
| Testing EPL 2.0 | | org.junit.jupiter » junit-jupiter-params | 5.5.2 | 6.0.1 |
EPL 2.0 | | org.junit.platform » junit-platform-runner | 1.7.0 | 1.14.1 |
| Mocking MIT |  | org.mockito » mockito-all | 1.10.19 | 5.20.0 |
Licenses
| License | URL |
|---|---|
| GPLv3 | https://www.gnu.org/licenses/gpl-3.0.en.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Felix Mohr | felix.mohr<at>upb.de | fmohr | ||
| Marcel Wever | marcel.wever<at>upb.de | mwever | ||
| Alexander Tornede | alexander.tornede<at>upb.de | ahetzer |
Related Books
 | Applied AI for Enterprise Java Development: Leveraging Generative AI, LLMs, and Machine Learning in the Java Enterprise (2025) by Bueno, Alex Soto, Eisele, Markus, Vinto, Natale |
 | AI for Everyday IT: Accelerate workplace productivity (2025) by LeMaire, Chrissy, Abshire, Brandon |
 | The AI Engineering Bible: The Complete and Up-to-Date Guide to Build, Develop and Scale Production Ready AI Systems (2025) by Caldwell, Thomas R. |
 | AI Engineering: Building Applications with Foundation Models (2025) by Huyen, Chip |
 | AI and Machine Learning for Coders: A Programmer's Guide to Artificial Intelligence (2020) by Moroney, Laurence |