I’ve updated boolopt to fix an output bug pointed out by Chris Gorecki. The net effect was to remove the used list used when finding prime implicants, which was preventing meaningful output for some trivial formulae.
This is a week overdue, but here is the solution to the puzzle of January 17th:
How far did everyone get? Tips? I realize this was way, way too hard. I’ll make another one in a week or two (ha!), when my current Real Work crunch subsides a little.