|
|
42dc3e394c
|
Implement hypothesis solver (no recursivity yet); solves all known grids
|
2022-10-23 23:13:49 +02:00 |
|
|
|
e8d0db8b1d
|
[WIP, BROKEN] Plug the stub for the Hypothesis solver to show how it'll be used
|
2022-10-02 22:22:23 +02:00 |
|
|
|
fb0c655089
|
[WIP, BROKEN] attempt to factorize zone handling to provide tooling to detect contradictions in hypothesis solver (zones becoming empty which shouldn't)
|
2022-10-02 22:20:45 +02:00 |
|
|
|
213eec19fe
|
Sort of reached an acceptable state where two first solver rules work
|
2022-09-01 22:27:21 +02:00 |
|
|
|
0a61d9a389
|
Still hacking away
|
2022-08-30 22:39:09 +02:00 |
|
|
|
ac7cd6333b
|
Expand solver and structure its design
|
2022-08-19 08:19:50 +02:00 |
|
