prop_logic-minisat 0.1.0

矢印アイコンをクリックして展開

Runtime :

prop_logic 0.2.4 >= 0.1.1

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