<dependency> <groupId>net.sf.tweety.arg</groupId> <artifactId>deductive</artifactId> <version>1.8</version> </dependency>
implementation 'net.sf.tweety.arg:deductive:1.8'
implementation("net.sf.tweety.arg:deductive:1.8")
libraryDependencies += "net.sf.tweety.arg" % "deductive" % "1.8"
@Grapes( @Grab(group='net.sf.tweety.arg', module='deductive', version='1.8') )
<dependency org="net.sf.tweety.arg" name="deductive" rev="1.8" />
[net.sf.tweety.arg/deductive "1.8"]
'net.sf.tweety.arg:deductive:jar:1.8'
<parent> <groupId>net.sf.tweety</groupId> <artifactId>parent-pom</artifactId> <version>1.8</version> </parent>
compile
|-- net.sf.tweety.logics:pl:1.8
|-- net.sf.tweety:graphs:1.8