prop_logic-minisat | RubyGems.org | your community gem host

RubyGems

Sign in Sign up

Gemfile

install

Minisat binding for PropLogic

Required Ruby Version

>= 2.0.0

Authors

Jkr2255

Versions

0.2.0 March 27, 2016 (8 KB)
0.1.0 January 28, 2016 (7.5 KB)

SHA 256 checksum