net.sf.tweety.logics:fol 1.3

<!-- https://jarcasting.com/artifacts/net.sf.tweety.logics/fol/ -->
<dependency>
    <groupId>net.sf.tweety.logics</groupId>
    <artifactId>fol</artifactId>
    <version>1.3</version>
</dependency>

// https://jarcasting.com/artifacts/net.sf.tweety.logics/fol/
implementation 'net.sf.tweety.logics:fol:1.3'

// https://jarcasting.com/artifacts/net.sf.tweety.logics/fol/
implementation ("net.sf.tweety.logics:fol:1.3")

'net.sf.tweety.logics:fol:jar:1.3'

<dependency org="net.sf.tweety.logics" name="fol" rev="1.3">
  <artifact name="fol" type="jar" />
</dependency>

@Grapes(
@Grab(group='net.sf.tweety.logics', module='fol', version='1.3')
)

libraryDependencies += "net.sf.tweety.logics" % "fol" % "1.3"

[net.sf.tweety.logics/fol "1.3"]