JAICore-Logic

This project provides utils for dealing with logical experessions e.g. with first-order predicate logic.

License

License

GroupId

GroupId

ai.libs
ArtifactId

ArtifactId

jaicore-logic
Last Version

Last Version

0.2.7
Release Date

Release Date

Type

Type

jar
Description

Description

JAICore-Logic
This project provides utils for dealing with logical experessions e.g. with first-order predicate logic.
Source Code Management

Source Code Management

https://github.com/fmohr/AILibs

Download jaicore-logic

How to add to project

<!-- https://jarcasting.com/artifacts/ai.libs/jaicore-logic/ -->
<dependency>
    <groupId>ai.libs</groupId>
    <artifactId>jaicore-logic</artifactId>
    <version>0.2.7</version>
</dependency>
// https://jarcasting.com/artifacts/ai.libs/jaicore-logic/
implementation 'ai.libs:jaicore-logic:0.2.7'
// https://jarcasting.com/artifacts/ai.libs/jaicore-logic/
implementation ("ai.libs:jaicore-logic:0.2.7")
'ai.libs:jaicore-logic:jar:0.2.7'
<dependency org="ai.libs" name="jaicore-logic" rev="0.2.7">
  <artifact name="jaicore-logic" type="jar" />
</dependency>
@Grapes(
@Grab(group='ai.libs', module='jaicore-logic', version='0.2.7')
)
libraryDependencies += "ai.libs" % "jaicore-logic" % "0.2.7"
[ai.libs/jaicore-logic "0.2.7"]

Dependencies

compile (6)

Group / Artifact Type Version
org.aeonbits.owner : owner-java8 jar 1.0.10
com.google.guava : guava jar 27.0-jre
org.slf4j : slf4j-api jar 1.7.25
ai.libs : jaicore-basic jar 0.2.7
org.api4 : common jar 1.0.0
org.api4 : algorithm jar 1.0.0

test (7)

Group / Artifact Type Version
org.hamcrest : hamcrest-all jar 1.3
org.mockito : mockito-all jar 1.10.19
ai.libs : jaicore-basic jar 0.2.7
org.junit.platform : junit-platform-runner jar 1.7.0
org.junit.jupiter : junit-jupiter-api jar 5.5.2
org.junit.jupiter : junit-jupiter-params jar 5.5.2
org.awaitility : awaitility jar 4.0.3

Project Modules

There are no modules declared in this project.

Versions

Version
0.2.7
0.2.6
0.2.5
0.2.4
0.2.3
0.2.2
0.2.1
0.2.0
0.1.6
0.1.5
0.1.4
0.1.3
0.1.2
0.1.1
0.1.0