From e2d81184686290bbdf4614f9f4891043ec8d3d74 Mon Sep 17 00:00:00 2001 From: Zander Thannhauser Date: Fri, 7 Mar 2025 09:49:26 -0600 Subject: [PATCH] updated README --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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. -