z3 사용

[KimNaRyeong]

서버에서 z3를 설치할 때 권한이 없어서 완료되지 않는데 과제를 할 때 z3 설치가 필요 없나요? z3사용하신 예시를 보여주실 수 있나요?

[moonzoo]

z3 was already installed on the verifier machines.