ruby binding for MiniSat, which is an open-source SAT solver