MVN

com.thesett : logic

Maven & Gradle

Nov 02, 2016
9 usages
4 stars

logic · Rich syntax trees and parsers for working with first order logic.

<dependency>
    <groupId>com.thesett</groupId>
    <artifactId>logic</artifactId>
    <version>0.9.117</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of com.thesett : logic to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.9.117

All Versions

Choose a version of com.thesett : logic to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.9.x
logic-0.9.117
logic-0.9.97
logic-0.9.77
0.8.x
logic-0.8.22
logic-0.8.21
logic-0.8.20
logic-0.8.19
logic-0.8.18
logic-0.8.17
logic-0.8.16
logic-0.8.15
logic-0.8.13
logic-0.8.12
logic-0.8.11
logic-0.8.10
logic-0.8.9
logic-0.8.8
logic-0.8.7
logic-0.8.6
logic-0.8.5
logic-0.8.4

How to add a dependency to Maven

Add the following com.thesett : logic maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>com.thesett</groupId>
    <artifactId>logic</artifactId>
    <version>0.9.117</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following com.thesett : logic gradle dependency to your build.gradle file:

implementation 'com.thesett:logic:0.9.117'

Gradle Kotlin DSL: Add the following com.thesett : logic gradle kotlin dependency to your build.gradle.kts file:

implementation("com.thesett:logic:0.9.117")

How to add a dependency to SBT Scala

SBT Scala: Add the following com.thesett : logic sbt scala dependency to your build.sbt file:

libraryDependencies += "com.thesett" % "logic" % "0.9.117"

Advertisement

Dependencies from Group

Nov 02, 2016
27 usages
4 stars
Nov 03, 2016
19 usages
4 stars
Aug 20, 2014
10 usages
4 stars
Nov 03, 2016
9 usages
4 stars
Nov 02, 2016
9 usages
4 stars

Discover Dependencies

Nov 02, 2016
1 stars
Nov 02, 2016
27 usages
4 stars
Sep 28, 2017
7 usages
221 stars
Sep 28, 2017
15 usages
221 stars
Sep 28, 2017
5 usages
221 stars
Sep 28, 2017
28 usages
221 stars
Mar 19, 2019
5 usages
1.4k stars
Oct 27, 2016
50 stars
Oct 27, 2016
50 stars