Ceasar's Ring
published on Thursday August 23. 2018
Have you ever heard of Ceasar's Cipher? Allegedly Julius Ceasar used this very simple encryption scheme to protect his private messages.
...
Day 23 of Advent of Code with Z3 SMT
published on Monday December 31. 2018
how to tackle Day 23 of Advent of Code 2018 using Z3
show...