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