3 Commits

Include renames

Author	SHA1	Message	Date
Sebastian Lindemeier	ea4ccd11a5	Finally able to remove Z3 from Day 10 thanks tenthmascot	2025-12-12 11:39:03 +01:00
Sebastian Lindemeier	3af6cc3233	Refactor Day10 to enhance button and joltage handling, implement Z3 solver for Part 2 logic, and update tests accordingly	2025-12-11 12:05:45 +01:00
Sebastian Lindemeier	6621a36021	Add Day10 implementation with puzzle-solving logic and tests	2025-12-11 06:02:07 +01:00