crytic-compile >= 0.3.0
z3-solver
