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.

1 files changed, 3 insertions, 1 deletions

diff --git a/2018/src/main.rs b/2018/src/main.rs
index c45b084..aac9302 100644
--- a/2018/src/main.rs
+++ b/2018/src/main.rs
@@ -28,8 +28,9 @@ mod day19;
 mod day20;
 mod day21;
 mod day22;
+mod day23;
 
-static NUM_DAYS: i32 = 22;
+static NUM_DAYS: i32 = 23;
 
 fn day_switch<T: BufRead>(day: i32, reader: T) -> io::Result<(String, String)> {
     match day {
@@ -55,6 +56,7 @@ fn day_switch<T: BufRead>(day: i32, reader: T) -> io::Result<(String, String)> {
         20 => day20::main(reader),
         21 => day21::main(reader),
         22 => day22::main(reader),
+        23 => day23::main(reader),
         _ => Err(Error::new(ErrorKind::Other, "Invalid day"))
     }
 }