Linearizability checker
[knossos "0.3.7"]
knossos/knossos {:mvn/version "0.3.7"}
compile 'knossos:knossos:0.3.7'
<dependency> <groupId>knossos</groupId> <artifactId>knossos</artifactId> <version>0.3.7</version> </dependency>
Want to display the latest version of your project on Github? Use the markdown code below!