crytic-compile >= 0.3.0, < 0.3.2
z3-solver
