ruby-minisat
1.14.2
ruby binding for MiniSat, which is an open-source SAT solver
installgem install ruby-minisat
927 total downloads
924 for this version
Owners
Links
HomepageGemfile
gem "ruby-minisat", "~> 1.14.2"
