Categories: None [Edit]
prop_logic
Write propositional logic formulae using Ruby DSL.
Total
Ranking: 48,856 of 187,571
Downloads: 22,716
Daily
Ranking: 60,111 of 187,548
Downloads: 7
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 119,821 | 5,571 | prop_logic-minisat |
| 149,409 | 3,722 | prop_logic-sat4j |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 1 | 3,010,000,950 | bundler |
| 10 | 1,165,196,519 | rake |
| 28 | 924,848,930 | rspec |
| 874 | 54,929,145 | ref |
| 17,729 | 95,916 | scrutinizer-ocular |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | jkr_2255 |
xmisao