Categories: None [Edit]
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
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|---|---|
41,968 | 27,074 | sciruby-full |
119,238 | 5,436 | prop_logic-minisat |
Owners
# | Gravatar | Handle |
---|---|---|
1 | mame |