From 5e48424b6456b49d3a37fd75040ccf7ea5f9b31c Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Sun, 23 Dec 2018 23:44:22 +0100 Subject: Day 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. --- 2018/23_draw.html | 1050 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1050 insertions(+) create mode 100644 2018/23_draw.html (limited to '2018/23_draw.html') diff --git a/2018/23_draw.html b/2018/23_draw.html new file mode 100644 index 0000000..a4335dc --- /dev/null +++ b/2018/23_draw.html @@ -0,0 +1,1050 @@ + + + + + + + + +

+ + -- cgit v1.2.3-70-g09d2