ravensat (rubygems): An interface to the SAT solver for Ruby
Keywords: csp-solver|dimacs-format|ruby|ruby-gem|sat-solver