ruby-minisat. ruby binding for MiniSat, which is an open-source SAT solver

github.com/mame/ruby-minisat
by @mame

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.