|
|
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 |
|
|
|
671bfdcb5f
|
Add geometry tooling
|
2022-08-11 09:58:57 +02:00 |
|
|
|
ffebb1efb8
|
Rename ubiquitous 'data' to something more meaningful according to the context
|
2022-08-06 20:15:53 +02:00 |
|
|
|
43900cfb64
|
Start implementing the solver
|
2022-08-02 10:58:46 +02:00 |
|
