Jar examples for f:fol
You can download jar file fol 1.5 in this page.
You can use the following script to add fol-1.5.jar to your project.
<dependency> <groupId>net.sf.tweety.logics</groupId> <artifactId>fol</artifactId> <version>1.5</version> </dependency>
compile group: 'net.sf.tweety.logics', name: 'fol', version: '1.5'
libraryDependencies += "net.sf.tweety.logics" % "fol" % "1.5"
<dependency org="net.sf.tweety.logics" name="fol" rev="1.5"/>
@Grapes(@Grab(group='net.sf.tweety.logics', module='fol', version='1.5'))
'net.sf.tweety.logics:fol:jar:1.5'
Click the following link to download the jar file.
fol-1.5-javadoc.jar