https://wheyproteinonz.blogspot.com/2024/04/how-to-model-in-z3py.html