diff --git a/README.md b/README.md index fc830ae..286095d 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,9 @@ # Boolean Satisfiability solver using automatas! -neat, huh? +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. -