prop_logic-minisat 0.2.0

Haz clic en el icono de flecha para expandir

Runtime :

prop_logic 0.2.4 >= 0.2.0

ruby-minisat 2.2.0.2 >= 2.2.0

Development :

bundler 1.17.3 ~> 1.11

rake 10.5.0 ~> 10.0

rspec 3.13.0 ~> 3.0