Ruby binding for MiniSat