dpll_solver
Authors: thebluber
License: MIT
Summary: 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...
Can't find the visual you need? Build your own here
© 2026 ClickHouse, Inc. HQ in the Bay Area, CA and Amsterdam, NL.