Day 10 Revisited: Learning To Use Z3 (advent Of Code 2025, Haskell)

2026 2:27:21
Synopsis
Live coding Haskell solutions to Advent of Code 2025: https://adventofcode.com/2025 Solution repository available at ...

You Might Also Like

Day 10: Factory (Advent of Code 2025, Haskell) 3:51:26
Day 10: Factory (advent Of Code 2025, Haskell)
2026
advent of code 2025 — day 3 "lobby" 8:09
Advent Of Code 2025 — Day 3 "lobby"
2026
Factory - Advent of Code 2025 - Day 10 1:27:12
Factory - Advent Of Code 2025 - Day 10
2026
Advent of Code 2025 Day 10 27:42
Advent Of Code 2025 Day 10
2026
advent of code 2025 — day 10 "factory" 28:10
Advent Of Code 2025 — Day 10 "factory"
2026
Advent of Code 2025 - Day 3 (Python) 11:05
Advent Of Code 2025 - Day 3 (python)
2026
Advent of Code 2025, Day 10 – "Factory" part 2 in Python/Z3 53:34
Advent Of Code 2025, Day 10 – "factory" Part 2 In Python/z...
2026
Day 9: Movie Theater (Advent of Code 2025, Haskell) 3:14:20
Day 9: Movie Theater (advent Of Code 2025, Haskell)
2026
Advent of Code 2025 day 3 in elisp/common lisp simultaneously 28:58
Advent Of Code 2025 Day 3 In Elisp/common Lisp Simultaneousl...
2026
Day 8: Playground (Advent of Code 2025, Haskell) 2:46:04
Day 8: Playground (advent Of Code 2025, Haskell)
2026
Recap - Advent of Code 2025 1:02:41
Recap - Advent Of Code 2025
2026
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.