2 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