sat-solver/README.md

Boolean Satisfiability solver using automatas!

Neat, huh?

Still needs to be stress-tested. The biggest test I've given it is 20 variables, 7 clauses.

Requires C++23. Sorry guys.

I'm testing it using https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html. If you'd like to do that yourself, pick your favorite test suite and extract into the test/ directory, and run make test. The test.py will automatically detect them and test against them.