rolling-stones

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

Leiningen/Boot

[rolling-stones "1.0.1"]

Clojure CLI/deps.edn

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

Gradle

compile 'rolling-stones:rolling-stones:1.0.1'

Maven

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