SMT-LIB 형식으로 CLP 문제 인코딩하기

CLP 문제를 SMT-LIB 형식으로 효과적으로 변환하는 방법을 제시한다.