We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1c54dfb commit 4ca3ef3Copy full SHA for 4ca3ef3
README.md
@@ -31,3 +31,22 @@ python -m venv <venv_name>
31
.\<venv_name>\Scripts\activate
32
python -m pip install -r requirements.txt
33
```
34
+
35
+## Comparing backtracking with SMT solving
36
37
+Fundamental performance measurement resulted in:
38
39
+### Easy sudoku
40
41
+- BT: Duration: ~11 ms
42
+- SMT: Duration: ~40 ms
43
44
+### Moderate sudoku
45
46
+- BT: Duration: ~150 ms
47
+- SMT: Duration: ~230 ms
48
49
+### Hard sudoku
50
51
+- BT: Duration: ~4000 ms
52
+- SMT: Duration: ~300 ms
0 commit comments