A wrapper around PicoSAT for Ruby - View it on GitHub