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