Adam Jeniski e851c41935 fix orderings to match comment better

2025-12-29 08:46:51 -05:00

..

input

happy holidays 2025

2025-12-01 11:06:15 -10:00

src

fix orderings to match comment better

2025-12-29 08:46:51 -05:00

.gitignore

finish day 11

2025-12-19 13:35:51 -05:00

project.clj

use java deps for z3

2025-12-22 17:55:11 -05:00