Hi, Zhu Zihao skribis: > I update the solidity to 0.8.15 and now it can be built with z3 4.8. Perfect; applied, thanks! Ludo’.