LogicNG

The Next Generation Logic Library

License

License

Categories

Categories

LogicNG Business Logic Libraries Science
GroupId

GroupId

org.logicng
ArtifactId

ArtifactId

logicng
Last Version

Last Version

2.2.1
Release Date

Release Date

Type

Type

jar
Description

Description

LogicNG
The Next Generation Logic Library
Project URL

Project URL

http://www.logicng.org
Source Code Management

Source Code Management

https://github.com/logic-ng/LogicNG

Download logicng

How to add to project

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

Dependencies

compile (1)

Group / Artifact Type Version
org.antlr : antlr4-runtime jar 4.8

test (6)

Group / Artifact Type Version
org.junit.jupiter : junit-jupiter jar 5.6.2
org.junit.jupiter : junit-jupiter-params jar 5.6.2
org.assertj : assertj-core jar 3.16.1
org.mockito : mockito-core jar 3.11.2
org.mockito : mockito-junit-jupiter jar 3.11.2
org.mockito : mockito-inline jar 3.11.2

Project Modules

There are no modules declared in this project.
org.logicng

LogicNG

The Next Generation Logic Library

Versions

Version
2.2.1
2.2.0
2.1.0
2.0.2
2.0.1
2.0.0
1.6.2
1.6.1
1.6.0
1.5.2
1.5.1
1.5.0
1.4.1
1.4.0
1.3.1
1.3
1.2