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