Categories: None [Edit]

prop_logic

https://rubygems.org/gems/prop_logic
https://github.com/jkr2255/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

Depended by

RankDownloadsName
119,8215,571prop_logic-minisat
149,4093,722prop_logic-sat4j

Depends on

RankDownloadsName
13,010,000,950bundler
101,165,196,519rake
28924,848,930rspec
87454,929,145ref
17,72995,916scrutinizer-ocular

Owners

#GravatarHandle
1iconjkr_2255