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