This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.

Required Ruby Version

None

Authors

thebluber

Versions

  1. 0.0.1

    1. source

      1. 0.0.1 source March 11, 2014 (14 KB)

SHA 256 checksum