knossos

Linearizability checker

Leiningen/Boot

[knossos "0.1.0"]

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

implementation("knossos:knossos:0.1.0")

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

Pushed by
aphyr on Dec 23, 2013 with this git tree
Recent Versions
Show All Versions (31 total)
Dependencies
- org.clojure/clojure 1.5.1
- org.clojure/math.combinatorics 0.0.7
Dependents (on Clojars)
All Dependents (8) for all Versions (31)
Homepage
https://github.com/aphyr/knossos
License
- Eclipse Public License
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
[![Clojars Project](https://img.shields.io/clojars/v/knossos.svg)](https://clojars.org/knossos)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/knossos.svg?include_prereleases)](https://clojars.org/knossos)