ricosat | RubyGems.org | your community gem host

RubyGems

Sign in Sign up

Gemfile

install

RicoSAT is a wrapper around [PicoSAT](http://fmv.jku.at/picosat/). It lets you use the PicoSAT solver from Ruby!

Required Ruby Version

>= 0

Authors

Aaron Patterson

Versions

1.0.3 February 25, 2017 (55 KB)
1.0.2 February 25, 2017 (55 KB)
1.0.1 February 25, 2017 (55 KB)
1.0.0 February 23, 2017 (115 KB)

SHA 256 checksum