12/10/2025 at 4:21:58 PM
Ah, looks like the submitter has been participating in Advent Of Code.by sagacity
12/10/2025 at 10:48:03 PM
Haha exactlyby w3dg
12/10/2025 at 10:00:41 AM
The Z3 Theorem Prover
https://github.com/Z3Prover/z3by benoitg
12/10/2025 at 10:00:41 AM
by benoitg
12/10/2025 at 4:21:58 PM
Ah, looks like the submitter has been participating in Advent Of Code.by sagacity
12/10/2025 at 10:48:03 PM
Haha exactlyby w3dg