Tag: z3

All the articles with the tag "z3".

• Solving Sudo Sudoku using Z3

  27 Dec, 2019

  A writeup for the Sudo Sudoku challenge from OverTheWire Advent Bonanza 2019, solved using the Z3 theorem prover.