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