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,050 of 183,471
Downloads: 14,814

Daily

Ranking: 61,367 of 183,459
Downloads: 0

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
41,47325,998sciruby-full
117,7945,268prop_logic-minisat

Depends on

RankDownloadsName
12,455,829,279bundler
10968,905,115rake

Owners

#GravatarHandle
1iconmame