Commit Graph

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