diff options
author | tomsmeding <tom.smeding@gmail.com> | 2018-12-23 23:44:22 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2018-12-23 23:44:22 +0100 |
commit | 5e48424b6456b49d3a37fd75040ccf7ea5f9b31c (patch) | |
tree | 94859d0d7f20dab52c4c7fc1cd20c22f3a81a0fd /2018/Cargo.toml | |
parent | 25a0973c66ad916029a277e57c506cf39cfde096 (diff) |
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.
Diffstat (limited to '2018/Cargo.toml')
-rw-r--r-- | 2018/Cargo.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/2018/Cargo.toml b/2018/Cargo.toml index 484f482..33eca25 100644 --- a/2018/Cargo.toml +++ b/2018/Cargo.toml @@ -8,3 +8,4 @@ edition = "2018" argparse = "0.2.2" regex = "1" lazy_static = "1.2.0" +rand = "0.6.1" |