Categories: None [Edit]
prop_logic-minisat
Minisat binding for PropLogic
Total
Ranking: 117,659 of 183,139
Downloads: 5,245
Daily
Ranking: 66,923 of 183,127
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 1 | 2,410,461,295 | bundler |
| 10 | 954,857,689 | rake |
| 25 | 818,346,165 | rspec |
| 48,497 | 21,000 | prop_logic |
| 62,881 | 14,776 | ruby-minisat |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | jkr_2255 |
xmisao