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: 62,872 of 183,107
Downloads: 14,772

Daily

Ranking: 86,038 of 183,092
Downloads: 0

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
41,39525,901sciruby-full
117,6595,243prop_logic-minisat

Depends on

RankDownloadsName
12,407,087,911bundler
10953,844,246rake

Owners

#GravatarHandle
1iconmame