# 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.