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. 1.0.3

    1. source

      1. 1.0.3 source February 25, 2017 (55 KB)
  2. 1.0.2

    1. source

      1. 1.0.2 source February 25, 2017 (55 KB)
  3. 1.0.1

    1. source

      1. 1.0.1 source February 25, 2017 (55 KB)
  4. 1.0.0

    1. source

      1. 1.0.0 source February 23, 2017 (115 KB)

SHA 256 checksum

← Previous version