RubyGems Navigation menu

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

Versions:

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

Runtime Dependencies:

Authors:

  • thebluber

Owners:

E372d683a6110ba30ec7b2b78c738f5f

Total downloads 366

For this version 366

Required Ruby Version: None

Licenses:

MIT

Gemfile:
gem 'dpll_solver', '~> 0.0.1' = Copy to clipboard Copied!

install:
gem install dpll_solver = Copy to clipboard Copied!

Links: