5 Commits

Author	SHA1	Message	Date
efim	665987395f	day24: input system for python z3	2023-12-24 12:36:08 +00:00
efim	5b03b8f156	day24: adding python z3, example	2023-12-24 11:47:22 +00:00
efim	bea82cb548	day24: why slope&shift work, while points dont?	2023-12-24 09:01:27 +00:00
efim	d749979aae	day24, already bad	2023-12-24 08:15:18 +00:00
efim	b6a56554af	day24, example	2023-12-24 07:42:04 +00:00