https://capressocoffemakerthecheapest.blogspot.com/2024/03/how-to-model-in-z3py.html