Rolling Stones Change Log

1.0.3

Added exclusion for abs to prevent warning on new version of Clojure which has abs in core.

1.0.2

Updated to use version 2.3.6 of SAT4J
Fixed memory leak that occurred when no timeout is set
Added note to README that when timeout is set (in milliseconds), solver can't be garbage collected until timeout is reached.
Added *timeout-on-conflicts* dynamic variable to control whether timeout integer is interpreted as number of conflicts instead of milliseconds.

1.0.1

Bugfixes

Fixed bug in and?

1.0.0 - Initial Release