/aocg/ - Advent of Code 2018 General #40

Forgot to make a new thread edition

Previous Thread adventofcode.com/
>Advent of Code is a series of small programming puzzles for a variety of skill levels. They are self-contained and are just as appropriate for an expert who wants to stay sharp as they are for a beginner who is just learning to code. Each puzzle calls upon different skills and has two parts that build on a theme.
You need to register with an account but you can appear as anonymous.

Private leaderboard join code:
368748-e33dcae3

People who are inactive for 5 days will be kicked, but other leaderboards can be made if desired.

Alternative leaderboard for those waiting for inactives to be kicked from the first:
208834-4a1a9383

Attached: 1545544180787.png (414x434, 11K)

Other urls found in this thread:

pastebin.com/p8hbRzRU
pastebin.com/j3UxJVSQ
pastebin.com/VA69C0ya
github.com/Z3Prover/bin
youtube.com/watch?v=hjGZLnja1o8
youtube.com/watch?v=re1IjZsUGtU
youtu.be/ESx_hy1n7HA
twitter.com/NSFWRedditGif

Better make sure to not scare away all the brainlets next year

c-can i still join, i know it's almost over but my exams just finished ... does it matter if i do it late

>To build Z3, open a [Visual Studio x64 Command Prompt], then

Attached: walrus.jpg (300x225, 10K)

It's fine, you might even be able to compete on today's problem if it doesn't build upon a previous problem

Shit's underdocumented as fuck, just do "pip install z3-core"

There's no time limit, although the threads this year will stop after the 25th/26th if people are catching up.
Feel free to join, although last year's puzzles were better than this year's.

>z3-core
z3-solver
My bad

What is this shit, what's "Z3" and why do you need some Microsoft product to solve last day's problem?

thanks user, i'll be doing it in c++, i hope that's not too retarded as these seem to be meant for scripting languages ?

Although, I just remembered that the 200+ euro raffle ends on the 7th. 36 stars for 1 ticket and all 50 for 2.