AOC - My solutions to Advent of Code

	Commit message (Collapse)	Author	Age
*	Day 23	tomsmeding	2018-12-23
	This isn't fun anymore. Because I was tired of this one and didn't care anymore, I looked at what others did and was baffled to see that there were basically two groups of people: one that used Z3 or an ILP solver, and one that wrote a direct solution that only worked on their own input, by accident. So I also used Z3. It worked. It takes a minute, though.