Dependencias inversas para prop_logic La última versión de las siguientes gemas requieren prop_logic

prop_logic-minisat 0.2.0

Minisat binding for PropLogic

5.737 Descargas

prop_logic-sat4j 2.3.5.0

Sat4j bindings for prop_logic

3.777 Descargas