advent-of-code/src/day24.py, branch aoc-2018Advent of code solutionshttps://git.its1.de/public/advent-of-code/atom?h=aoc-20182023-12-31T08:37:52ZLösungen für Tag 24, Teil 2 (mit Z3 als Solver :/ ...)2023-12-31T08:37:52ZThomas Schmuckerts@its1.de2023-12-31T08:37:52Zurn:sha1:43e8adeff6306073bf58631be796f409f293997fLösungen für Tag 24, Teil 12023-12-29T11:16:59ZThomas Schmuckerts@its1.de2023-12-29T11:16:59Zurn:sha1:0d06788586cda1b1ba01524f4ba3cad147052203