본 논문은 선형 제약 조건을 갖춘 제약 Answer Set Programming (CASP)을 위한 솔버 asp-fzn을 제시한다. asp-fzn은 CASP 프로그램을 여러 제약 프로그래밍 및 정수 프로그래밍 백엔드 솔버를 지원하는 솔버 독립적인 FlatZinc 언어로 변환하는 방식을 사용한다. 다양한 선형 제약 조건과 일부 일반적인 전역 제약 조건을 지원하며, 기존 ASP 경진 대회의 벤치마크에서 최첨단 ASP 솔버와 경쟁력이 있음을 보여준다. 또한, 문헌의 여러 CASP 문제에 대해 평가하고, asp-fzn 언어의 대부분을 지원하는 주요 CASP 솔버인 clingcon과 성능을 비교한다. asp-fzn은 일반 ASP에서 경쟁력을 갖추었으며, 일부 CASP 벤치마크에서는 clingcon을 능가하는 매우 유망한 성능을 보여준다.
