계산적 사고법 과제 코드 N-Queen 1 naive해법 2 Backtracking and 1D array 3 Bitwise operator and symmetric 4 실행시간 데이터 시각화 5 Z3 solver를 이용한 해법