wip

Author: rene-d

2020/day16/day16.py

@@ -16,7 +16,7 @@
 
 fields = []
 for line in fields_data.splitlines():
-    name, a, b, c, d = re.match("^([\w ]+): (\d+)-(\d+) or (\d+)-(\d+)$", line).groups()
+    name, a, b, c, d = re.match(r"^([\w ]+): (\d+)-(\d+) or (\d+)-(\d+)$", line).groups()
     a, b, c, d = map(int, (a, b, c, d))
     fields.append((name, a, b, c, d))
 

scripts/Dockerfile

@@ -13,7 +13,7 @@ RUN apt-get install -y z3
 RUN apt-get install -y libssl-dev liblzma-dev
 
 # seems to be mandatory to compile Python 3.13
-RUN apt-get install -y libreadline-dev libncursesw5-dev libssl-dev libsqlite3-dev tk-dev libgdbm-dev libc6-dev libbz2-dev libffi-dev zlib1g-dev
+RUN apt-get install -y libreadline-dev libncursesw5-dev libsqlite3-dev tk-dev libgdbm-dev libgdbm-compat-dev libc6-dev libbz2-dev libffi-dev zlib1g-dev
 
 # required to build shapely and numpy, if needed
 RUN apt-get install -y libgeos-dev libopenblas-dev

scripts/runall.py

@@ -239,7 +239,7 @@ def load_data(filter_year, filter_user, filter_yearday):
     inputs = defaultdict(dict)
     solutions = defaultdict(dict)
 
-    for f in Path("data").rglob("*.in"):
+    for f in sorted(Path("data").rglob("*.in")):
         if f.name.startswith("._"):
             continue