HW7 is graded

[duncan020313]

안녕하세요. 과제 7번 CEGIS synthesizer의 채점이 완료되었습니다.

KLMS에 게시된 성적을 확인해주세요.

---

Hello. Grading for HW7: CEGIS synthesizer completed.

Please check your grades posted on KLMS.

[duncan020313]

일부 과제가 gradescope 오류로 0점 처리되었습니다.

재채점 후 점수로 변경할 예정이니 걱정하지 않으셔도 됩니다.

---

Some assignments were scored as 0 points due to gradescope errors.

We will change the scores after re-grading, so you don't need to worry about it.