Zander/sat-solver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

updated README

Browse source
This commit is contained in:
Zander Thannhauser 2025-03-07 09:49:26 -06:00
parent 5fcfebd5fd
commit e2d8118468
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

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