Z3bra Puzzle

Posted on Thu 06 June 2024 in programming • Tagged with math, programming, logic, z3

I occasionally encounter problems akin to logic grid puzzles in programming challenges or other contexts. I usually approach them through some ad hoc backtracking algorithm. Recently I decided to try and develop a systematic approach for solving such problems without reinventing the wheel each time.

These puzzles fall into the …


Continue reading

Rocks and Hailstones

Posted on Fri 22 March 2024 in math • Tagged with math, adventofcode

I had fun solving the second part of Day 24 of Advent of Code this year. This was a more mathematical problem than most, and by working with vectors and matrices it can be solved with minimal faffing about at the component level.

We are given a set of initial …


Continue reading