|  | Commit message (Collapse) | Author | Age | 
|---|
| | |  | 
| | |  | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| | 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. | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | 
| 
| 
| 
| 
| | This was a really fun one! Enjoyed making the simulation that is really
a complicated kind of automaton, and enjoyed looking at the automaton
doing its thing in the terminal. | 
| | |  | 
| | 
| 
| 
| 
| 
| 
| 
| | God dammit this one wasn't fun. The amount of edge cases and arbitrary
rules made this more of a chore than a puzzle.
The code could probably be shorter, but any sane amount of code
structure and clarity demanded this size. | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
| | |  | 
|  |  |