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

Gemfile:
=

installieren:
=

Versionen:

0.0.1 March 11, 2014 (14 KB)

Runtime Abhängigkeiten (1):

parslet >= 0

Development Abhängigkeiten (5):

binding_of_caller >= 0

bundler >= 0

pry >= 0

rake >= 0

rspec >= 0

Alle transitiven Abhängigkeiten anzeigen

Besitzer:

Autoren:

thebluber

SHA 256-Prüfsumme:

=