ruby-minisatの被依存関係以下のgemの最新版はruby-minisatを必要としています

sciruby-full 0.2.11

Scientific gems for Ruby. This is the full installation with rigid version constraints.

25,023 ダウンロード数

prop_logic-minisat 0.2.0

Minisat binding for PropLogic

5,071 ダウンロード数