ruby binding for MiniSat, which is an open-source SAT solver - View it on GitHub