l

logicng

The Next Generation Logic Library
http://www.logicng.org
The Apache License, Version 2.0
Christoph Zengler Steffen Hildebrandt Rouven Walter Eva Mayer
next generation library logic
Files download
File Operation
logicng-2.2.1.jar download
logicng-2.2.1.pom download
logicng-2.2.1-sources.jar download
Apache Maven 
<dependency>
  <groupId>org.logicng</groupId>
  <artifactId>logicng</artifactId>
  <version>2.2.1</version>
  <type>bundle</type>
</dependency>
Gradle Groovy 
implementation 'org.logicng:logicng:2.2.1'
Gradle Kotlin 
implementation("org.logicng:logicng:2.2.1")
Scala SBT 
libraryDependencies += "org.logicng" % "logicng" % "2.2.1"
Groovy Grape 
@Grapes(
  @Grab(group='org.logicng', module='logicng', version='2.2.1')
)
Apache Ivy 
<dependency org="org.logicng" name="logicng" rev="2.2.1" />
Leiningen 
[org.logicng/logicng "2.2.1"]
Apache Buildr 
'org.logicng:logicng:jar:2.2.1'
Dependencies

compile

|-- org.antlr:antlr4-runtime:4.8

test

|-- org.junit.jupiter:junit-jupiter:5.6.2

|-- org.junit.jupiter:junit-jupiter-params:5.6.2

|-- org.assertj:assertj-core:3.16.1

|-- org.mockito:mockito-core:3.11.2

|-- org.mockito:mockito-junit-jupiter:3.11.2

|-- org.mockito:mockito-inline:3.11.2