Math

<dependency>
    <groupId>net.sf.tweety</groupId>
    <artifactId>math</artifactId>
    <version>1.17</version>
</dependency>

compile group: 'net.sf.tweety', name: 'math', version: '1.17'

compile 'net.sf.tweety:math:1.17'

libraryDependencies += "net.sf.tweety" % "math" % "1.17"

<dependency org="net.sf.tweety" name="math" rev="1.17"/>

@Grapes(
            @Grab(group='net.sf.tweety', module='math', version='1.17')
        )

[net.sf.tweety/math "1.17"]

'net.sf.tweety:math:jar:1.17'