advent-of-code-2025 Day Ok 01 🟩🟩 02 🟩🟩 03 🟩🟩 04 🟩🟩 05 🟩🟩 06 🟩🟩 07 🟩🟩 08 🟩🟩 09 🟩🟩 10 🟩🟩 11 🟩🟩 12 🟩🟩 🎄 Useful tools https://www.npmjs.com/package/z3-solver