Categories: None [Edit]
prop_logic
Write propositional logic formulae using Ruby DSL.
Total
Ranking: 48,896 of 184,991
Downloads: 21,384
Daily
Ranking: 63,990 of 184,981
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|---|---|
118,292 | 5,352 | prop_logic-minisat |
147,059 | 3,603 | prop_logic-sat4j |
Depends on
Rank | Downloads | Name |
---|---|---|
1 | 2,655,328,096 | bundler |
10 | 1,034,196,175 | rake |
26 | 860,515,732 | rspec |
823 | 54,353,780 | ref |
16,985 | 95,305 | scrutinizer-ocular |
Owners
# | Gravatar | Handle |
---|---|---|
1 | jkr_2255 |