1import lit.util2 3if lit.util.which("z3", config.environment["PATH"]):4 config.available_features.add("z3-prover")5 6
