Tag: z3
All the articles with the tag "z3".
-
Solving Sudo Sudoku using Z3
A writeup for the Sudo Sudoku challenge from OverTheWire Advent Bonanza 2019, solved using the Z3 theorem prover.
All the articles with the tag "z3".
A writeup for the Sudo Sudoku challenge from OverTheWire Advent Bonanza 2019, solved using the Z3 theorem prover.