Months ago I was trying to debug why this[0] solver didn't quite work. If someone wants to spend some time debugging it, you're welcome to it.
It's a Rust compile time Sudoku solver. It solves the almost complete puzzle, not the "real" puzzle.
[0]: https://play.rust-lang.org/?version=nightly&mode=debug&editi...