[ANN] rolling-stones 1.0.2

[Mark Engelberg]

https://github.com/Engelberg/rolling-stones

rolling-stones is a satisfaction solver, a Clojure wrapper for the SAT4J Java solver.

Version 1.0.2 updates the dependency to a newer version of SAT4J, implements a workaround for a memory leak in SAT4J, and introduces a new option to express timeout as a number of conflicts encountered in the solving process rather than milliseconds.