2 Commits
Author SHA1 Message Date
Pascal 204e42236e Solve 2025-10, add z3 solver 2025-12-10 13:40:56 +01:00
Pascal 837a43b4c2 Prepare for next year 2025-11-07 13:34:30 +01:00