org.clojars.aldebogdanov/quint-connect

Model-based testing for Clojure, driven by Quint specifications.

Leiningen/Boot

[org.clojars.aldebogdanov/quint-connect "0.6.1"]

org.clojars.aldebogdanov/quint-connect {:mvn/version "0.6.1"}

implementation("org.clojars.aldebogdanov:quint-connect:0.6.1")

<dependency>
  <groupId>org.clojars.aldebogdanov</groupId>
  <artifactId>quint-connect</artifactId>
  <version>0.6.1</version>
</dependency>

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

Pushed by
aldebogdanov on Sep 9, 2026 with this git tree
Recent Versions
Show All Versions (7 total)
Dependencies
- org.clojure/clojure 1.12.5
- org.clojure/data.json 2.5.2
Homepage
https://github.com/aldebogdanov/quint-connect-clj
License
- Eclipse Public License 2.0
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/org.clojars.aldebogdanov/quint-connect.svg)](https://clojars.org/org.clojars.aldebogdanov/quint-connect)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/org.clojars.aldebogdanov/quint-connect.svg?include_prereleases)](https://clojars.org/org.clojars.aldebogdanov/quint-connect)