<dependency> <groupId>net.sf.tweety.logics</groupId> <artifactId>fol</artifactId> <version>1.17</version> </dependency>
implementation 'net.sf.tweety.logics:fol:1.17'
implementation("net.sf.tweety.logics:fol:1.17")
libraryDependencies += "net.sf.tweety.logics" % "fol" % "1.17"
@Grapes( @Grab(group='net.sf.tweety.logics', module='fol', version='1.17') )
<dependency org="net.sf.tweety.logics" name="fol" rev="1.17" />
[net.sf.tweety.logics/fol "1.17"]
'net.sf.tweety.logics:fol:jar:1.17'
<parent> <groupId>net.sf.tweety</groupId> <artifactId>parent-pom</artifactId> <version>1.17</version> </parent>
compile
|-- net.sf.tweety.logics:commons:1.17
|-- net.sf.tweety:plugin:1.17
test
|-- junit:junit:4.9