GitHub repository: Engelberg/rolling-stones
Primary language: Clojure
Created: 2016-07-09T07:40:14Z
Description: A Clojure interface to the Sat4j satisfaction solver.