ricosat (rubygems): RicoSAT is a wrapper around [PicoSAT](http://fmv.jku.at/picosat/).  It lets you use the PicoSAT solver from Ruby!
Keywords: ruby|sat