prop_logic 的反向依賴下列 Gems 的最新版本需要 prop_logic

prop_logic-minisat 0.2.0

Minisat binding for PropLogic

5,367 下載

prop_logic-sat4j 2.3.5.0

Sat4j bindings for prop_logic

3,613 下載