crytic-compile>=0.3.0
z3-solver
