ContractAutomataLib

<!-- https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/ -->
<dependency>
    <groupId>io.github.contractautomataproject</groupId>
    <artifactId>catlib</artifactId>
    <version>1.0.1</version>
</dependency>

// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation 'io.github.contractautomataproject:catlib:1.0.1'

// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation ("io.github.contractautomataproject:catlib:1.0.1")

'io.github.contractautomataproject:catlib:jar:1.0.1'

<dependency org="io.github.contractautomataproject" name="catlib" rev="1.0.1">
  <artifact name="catlib" type="jar" />
</dependency>

@Grapes(
@Grab(group='io.github.contractautomataproject', module='catlib', version='1.0.1')
)

libraryDependencies += "io.github.contractautomataproject" % "catlib" % "1.0.1"

[io.github.contractautomataproject/catlib "1.0.1"]