Linearizability checker
N/A
[org.clojars.khdegraaf/knossos "0.2.9-SNAPSHOT"]
org.clojars.khdegraaf/knossos {:mvn/version "0.2.9-SNAPSHOT"}
implementation("org.clojars.khdegraaf:knossos:0.2.9-SNAPSHOT")
<dependency> <groupId>org.clojars.khdegraaf</groupId> <artifactId>knossos</artifactId> <version>0.2.9-SNAPSHOT</version> </dependency>
Note: this artifact is a non-canonical fork. See the wiki for more details.
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code: