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,614 of 186,961
Downloads: 15,589

Daily

Ranking: 110,181 of 186,954
Downloads: 5

Depended by

RankDownloadsName
41,71427,607sciruby-full
119,2755,510prop_logic-minisat

Depends on

RankDownloadsName
12,938,589,681bundler
101,140,169,777rake

Owners

#GravatarHandle
1iconmame