Categories: None [Edit]

ruby-minisat

https://rubygems.org/gems/ruby-minisat
https://github.com/mame/ruby-minisat
ruby binding for MiniSat, an open-source SAT solver

Total

Ranking: 63,790 of 186,715
Downloads: 15,342

Daily

Ranking: 48,078 of 186,700
Downloads: 11

Depended by

RankDownloadsName
41,96827,074sciruby-full
119,2385,436prop_logic-minisat

Depends on

RankDownloadsName
12,903,420,977bundler
101,127,274,939rake

Owners

#GravatarHandle
1iconmame