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