3 Commits

Author	SHA1	Message	Date
ajet	8fa11862e1	use java deps for z3	2025-12-22 17:55:11 -05:00
ajet	d379c21296	do day 10	2025-12-12 09:17:55 -10:00
ajet	4d525dd3a7	happy holidays 2025	2025-12-01 11:06:15 -10:00