RubyGems Navigation menu

Reverse dependencies for prop_logic Latest version of the following gems require prop_logic

prop_logic-minisat 0.2.0

Minisat binding for PropLogic

5,924 Downloads

prop_logic-sat4j 2.3.5.0

Sat4j bindings for prop_logic

3,845 Downloads

Total downloads 23,883

For this version 3,978

Version Released:

License:

MIT

Required Ruby Version: >= 2.0.0

Links:

Homepage Documentation Download Review changes Badge Subscribe RSS Analytics Report abuse Reverse dependencies