least fixed-point

functional programming, math and other nerdy stuff

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