prop_logic-minisat 0.2.0
Minisat binding for PropLogic
Gemfile:
=
複製
已複製
安裝:
=
Runtime 相依性套件 (2):
prop_logic
>= 0.2.0
ruby-minisat
>= 2.2.0