GitHub repository: mbildner/ruby-minisat
Primary language: C++
Description: ruby binding for MiniSat, which is an open-source SAT solver