RicoSAT is a wrapper around [PicoSAT](http://fmv.jku.at/picosat/). It lets you use the PicoSAT solver from Ruby!
Aaron Patterson
on Feb 25, 2017
MIT