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

Migrating the Specify 6 SVN Repository to Git

Posted on Mon 30 October 2017 in programming • Tagged with svn, git, github

Until now the Specify 6 source code has been version controlled using Subversion. The decision was made to migrate the repository to Git. Here are some notes about how this was accomplished.

First Step: git-svn

The rough draft of the migration was obtained using the git-svn tool. One can find …


Continue reading

Using Leaflet maps in an Elm app

Posted on Wed 30 August 2017 in programming • Tagged with elm, javascript, leaflet

I recently started a project creating a web app that requires displaying maps. This was to be a browser based app, but I wanted to use something safer and more maintainable than Javascript. I decided to give Elm a try and have been fairly happy with it. However, I couldn't …


Continue reading