Official bindings for libsatsolver, supporting Ruby, Python and Perl. - View it on GitHub