codemicro/adventOfCode
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
adventOfCode/challenges/2023/24-neverTellMeTheOdds
History
AKP 5b2c191cf7
 2023.24
2023-12-25 11:38:31 +00:00
..
main.py 2023.24 2023-12-25 11:38:31 +00:00
README.md 2023.24 2023-12-25 11:38:31 +00:00
tests.json 2023.24 2023-12-25 11:38:31 +00:00

README.md

Day 24: Never Tell Me The Odds

Part 1 is not:

  • 1344 (too low)
  • 48384 (too high)

Running this solution requires z3-solver to be installed.