Just wanted to share a project I wrote a few months ago.
I wanted to play around with Z3 and I though this would be a good project to get started with it.
It can solve classic sudokus, as well as other variants such as thermo, miracle, chess, sandwich, killer, and any combination of them.
It can solve classic sudokus, as well as other variants such as thermo, miracle, chess, sandwich, killer, and any combination of them.