mvncenter: tools.aqua:konstraints:0.2

A library for working with SMT Expressions in the JVM

with library working expressions

Files download

Apache Maven

<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>konstraints</artifactId>
  <version>0.2</version>
</dependency>

Gradle Groovy

implementation 'tools.aqua:konstraints:0.2'

Gradle Kotlin

implementation("tools.aqua:konstraints:0.2")

Scala SBT

libraryDependencies += "tools.aqua" % "konstraints" % "0.2"

Groovy Grape

@Grapes(
  @Grab(group='tools.aqua', module='konstraints', version='0.2')
)

Apache Ivy

<dependency org="tools.aqua" name="konstraints" rev="0.2" />

Leiningen

[tools.aqua/konstraints "0.2"]

Apache Buildr

'tools.aqua:konstraints:jar:0.2'

Dependencies

compile

runtime