1 Runtime Dependency
| Gem | Required version |
|---|---|
| ref 2.0.0 |
~> 2.0
|
4 Development Dependencies
| Gem | Required version |
|---|---|
| bundler 1.17.3 |
~> 1.7
|
| rake 10.5.0 |
~> 10.0
|
| rspec 3.13.2 |
~> 3.0
|
| scrutinizer-ocular 1.0.1 |
~> 1.0
|
Reverse Dependencies
| Gem | Version |
|---|---|
| prop_logic-minisat +5.94 Thousand Downloads |
0.2.0
Mar 27, 2016 |
| prop_logic-sat4j +3.85 Thousand Downloads |
2.3.5.0
Apr 05, 2016 |