it.uniroma2.art.semanticturkey:st-search-strategies 9.0

Categories	Ant Build Tools KeY Data Data Formats Formal Verification Search Business Logic Libraries
GroupId	it.uniroma2.art.semanticturkey
ArtifactId	st-search-strategies
Version	9.0
Type	pom

Download st-search-strategies 9.0

Filename	Size
st-search-strategies-9.0.pom	573 bytes

Apache Maven

<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-search-strategies/ -->
<dependency>
    <groupId>it.uniroma2.art.semanticturkey</groupId>
    <artifactId>st-search-strategies</artifactId>
    <version>9.0</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-search-strategies/
implementation 'it.uniroma2.art.semanticturkey:st-search-strategies:9.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-search-strategies/
implementation ("it.uniroma2.art.semanticturkey:st-search-strategies:9.0")

Apache Buildr

'it.uniroma2.art.semanticturkey:st-search-strategies:pom:9.0'

Apache Ivy

<dependency org="it.uniroma2.art.semanticturkey" name="st-search-strategies" rev="9.0">
  <artifact name="st-search-strategies" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-search-strategies', version='9.0')
)

Scala SBT

libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-search-strategies" % "9.0"

Leiningen

[it.uniroma2.art.semanticturkey/st-search-strategies "9.0"]