prop_logic-minisat 0.2.0
Minisat binding for PropLogic
Gemfile:
=
Copiar al portapapeles
¡Copiado!
instalar:
=
dependencias de Runtime (2):
prop_logic
>= 0.2.0
ruby-minisat
>= 2.2.0