rolling-stones

rolling-stones is a Clojure interface to the Sat4j satisfaction solver

Leiningen/Boot

[rolling-stones "1.0.3"]

Clojure CLI/deps.edn

rolling-stones/rolling-stones {:mvn/version "1.0.3"}

Gradle

implementation("rolling-stones:rolling-stones:1.0.3")

Maven

<dependency>
  <groupId>rolling-stones</groupId>
  <artifactId>rolling-stones</artifactId>
  <version>1.0.3</version>
</dependency>