Advent Of Code day 2 finished in an unreasonably long time because I wanted to try solving the second part using "simple" symbolic execution but realized halfway through writing it that if the program counter is a symbolic value then I am in deep trouble

so I just brute forced it

:blobsad:

but now I really wanna see if I could solve it with something as overkill as a symbolic execution library

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Follow

Advent of Code day 2 vague spoilers i guess? 

Β· Web Β· 1 Β· 1 Β· 1

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Advent of Code day 2 vague spoilers i guess? 

Sign in to participate in the conversation
Cybrespace

Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.