knossos

Linearizability checker

Leiningen/Boot

[knossos "0.2.3"]

Clojure CLI/deps.edn

knossos/knossos {:mvn/version "0.2.3"}

Gradle

implementation("knossos:knossos:0.2.3")

Maven

<dependency>
  <groupId>knossos</groupId>
  <artifactId>knossos</artifactId>
  <version>0.2.3</version>
</dependency>