Summary for those just joining us:
Advent of Code is an annual Christmas themed coding challenge that runs from December 1st until christmas. Each day the coding problems get progressively harder. We have a leaderboard and pretty good turnout, so feel free to hop in at any time and show your stuff!
Whether you have a single line monstrosity or a beautiful phone book sized stack of OOP code, you can export it in a nice little image for sharing at https://carbon.vercel.app
What did you think about today's problem?
Our Code is 2416137-393b284c (No need to share your profile, you have the option to join anonymously if you don't want us to see your github)
Jump in the discussion.
No email address required.
Finally I got to use z3, bitches! Global rank 50 on part 2!
Jump in the discussion.
No email address required.
Jump in the discussion.
No email address required.
Did you actually need 12 lines?![:marseypathetic: :marseypathetic:](https://i.rdrama.net/e/marseypathetic.webp)
Jump in the discussion.
No email address required.
More options
Context
More options
Context
MASHALLAH
Jump in the discussion.
No email address required.
More options
Context
It's impressive that you managed to figure out the equations for pt 2, write them and solve them in 12 mins. It's not exactly quick to run and pt 2 wasn't obvious while you were doing pt 1.
Jump in the discussion.
No email address required.
It is actually. About a second, idk.
Jump in the discussion.
No email address required.
It's quick if you use BitVec, that implementation with Int is pretty slow.
Jump in the discussion.
No email address required.
How do I use BitVec for it?
Jump in the discussion.
No email address required.
Weird it just keeps running on pt2 real for me. Just use
BitVec(x, 64)
anywhere you useInt(x)
Jump in the discussion.
No email address required.
Interesting, maybe I got lucky with the input! Ty for the tip.
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context