Categories: None [Edit]
prop_logic-minisat
Minisat binding for PropLogic
Total
Ranking: 119,844 of 188,802
Downloads: 5,711
Daily
Ranking: 80,626 of 188,779
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 | 3,121,336,578 | bundler |
| 10 | 1,202,966,022 | rake |
| 29 | 941,453,763 | rspec |
| 48,918 | 23,156 | prop_logic |
| 56,431 | 19,052 | ruby-minisat |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jkr_2255 |