knossos

Linearizability checker

Leiningen/Boot

[knossos "0.3.0"]

Gradle

compile "knossos:knossos:0.3.0"

Maven

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