RubyGems.org

dpll_solver

0.0.1

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))'.

installgem install dpll_solver
Authors

thebluber

282 total downloads 282 for this version
Owners

E372d683a6110ba30ec7b2b78c738f5f

Licenses

MIT

Gemfile
gem 'dpll_solver', '~> 0.0.1'
Versions
  1. 0.0.1 March 11, 2014 (14 KB)
Runtime Dependencies
  1. parslet >= 0