| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | prepare for more puzzles ... :) | Thomas Schmucker | 2024-01-03 | 1 | -173/+0 |
| * | Lösungen für Tag 24, Teil 2 (mit Z3 als Solver :/ ...) | Thomas Schmucker | 2023-12-31 | 1 | -0/+42 |
| * | Lösungen für Tag 24, Teil 1 | Thomas Schmucker | 2023-12-29 | 1 | -0/+131 |
