<dependency> <groupId>org.tweetyproject.logics</groupId> <artifactId>qbf</artifactId> <version>1.20</version> </dependency>
implementation 'org.tweetyproject.logics:qbf:1.20'
implementation("org.tweetyproject.logics:qbf:1.20")
libraryDependencies += "org.tweetyproject.logics" % "qbf" % "1.20"
@Grapes( @Grab(group='org.tweetyproject.logics', module='qbf', version='1.20') )
<dependency org="org.tweetyproject.logics" name="qbf" rev="1.20" />
[org.tweetyproject.logics/qbf "1.20"]
'org.tweetyproject.logics:qbf:jar:1.20'
<parent> <groupId>org.tweetyproject</groupId> <artifactId>parent-pom</artifactId> <version>1.20</version> </parent>
compile
|-- org.ow2.sat4j:org.ow2.sat4j.core:2.3.4
|-- org.tweetyproject.logics:pl:1.20
|-- org.tweetyproject:math:1.20
test
|-- junit:junit:4.9