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