Jar examples for l:logic
Rich syntax trees and parsers for working with first order logic.
You can download jar file logic 0.8.6 in this page.
You can use the following script to add logic-0.8.6.jar to your project.
<dependency> <groupId>com.thesett</groupId> <artifactId>logic</artifactId> <version>0.8.6</version> </dependency>
compile group: 'com.thesett', name: 'logic', version: '0.8.6'
libraryDependencies += "com.thesett" % "logic" % "0.8.6"
<dependency org="com.thesett" name="logic" rev="0.8.6"/>
@Grapes(@Grab(group='com.thesett', module='logic', version='0.8.6'))
'com.thesett:logic:jar:0.8.6'
Click the following link to download the jar file.
logic-0.8.6-javadoc.jar