net.sf.tweety.arg:deductive 1.7

<!-- https://jarcasting.com/artifacts/net.sf.tweety.arg/deductive/ -->
<dependency>
    <groupId>net.sf.tweety.arg</groupId>
    <artifactId>deductive</artifactId>
    <version>1.7</version>
</dependency>

// https://jarcasting.com/artifacts/net.sf.tweety.arg/deductive/
implementation 'net.sf.tweety.arg:deductive:1.7'

// https://jarcasting.com/artifacts/net.sf.tweety.arg/deductive/
implementation ("net.sf.tweety.arg:deductive:1.7")

'net.sf.tweety.arg:deductive:jar:1.7'

<dependency org="net.sf.tweety.arg" name="deductive" rev="1.7">
  <artifact name="deductive" type="jar" />
</dependency>

@Grapes(
@Grab(group='net.sf.tweety.arg', module='deductive', version='1.7')
)

libraryDependencies += "net.sf.tweety.arg" % "deductive" % "1.7"

[net.sf.tweety.arg/deductive "1.7"]