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