org.clojars.khdegraaf/knossos

Linearizability checker

  • VCSN/A

  • cljdoc documentationcljdoc
  • 30 Downloads
  • 5 This Version

Leiningen/Boot

[org.clojars.khdegraaf/knossos "0.2.9.1-SNAPSHOT"]

Clojure CLI/deps.edn

org.clojars.khdegraaf/knossos {:mvn/version "0.2.9.1-SNAPSHOT"}

Gradle

implementation("org.clojars.khdegraaf:knossos:0.2.9.1-SNAPSHOT")

Maven

<dependency>
  <groupId>org.clojars.khdegraaf</groupId>
  <artifactId>knossos</artifactId>
  <version>0.2.9.1-SNAPSHOT</version>
</dependency>

Note: this artifact is a non-canonical fork. See the wiki for more details.