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