A Ruby binding for the CaDiCaL SAT solver - View it on GitHub