Three Dollar Quill

Recently, I've been playing a daily puzzle game called Domino Fit. It's really interesting, but after I discovered some ways of getting bragging rights in the score screen, I've been thinking about it way too hard. As such, I'm trying to code up a solver so I can, um, exorcise my urge to play it.

I don't have anything to show off yet; I'm still working on encoding the state of everything into z3. I'm working inspired from How to Solve the Sudoku Puzzle with programming, which I swear is a real post, except I'm using the Python bindings to z3 instead of generating DIMACS.

I should have something that works in a day or two, but at the moment, I once again really need to get ready for bed.

Good night.