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:
=
In die Zwischenablage kopieren
Kopiert!
installieren:
=
Versionen:
- 0.0.1 - March 11, 2014 (14 KB)
Runtime Abhängigkeiten (1):
parslet
>= 0
Development Abhängigkeiten (5):
Besitzer:
Autoren:
-
thebluber
SHA 256-Prüfsumme:
0b420a55c62bcfda97b986c1c6528a5d3de19dcb92a7dc30d801961fcc739dfb