🎄 Add solution to 2025-12-12

Author: fuglede

2025/day12/solutions.py

@@ -0,0 +1,14 @@
+from math import prod
+
+
+with open("input") as f:
+    data = f.read().strip()
+
+areas = []
+stocks = []
+for l in data.split("\n\n")[-1].split("\n"):
+    rxc, *nums = l.split()
+    areas.append(prod(map(int, rxc[:-1].split("x"))))
+    stocks.append(sum(map(int, nums)))
+
+print(sum(area >= 7 * stock for area, stock in zip(areas, stocks)))