Tag: writeup

All the articles with the tag "writeup".

• 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.