यह शोधपत्र Asp-fzn प्रस्तुत करता है, जो रैखिक बाधाओं वाले प्रतिबंधित उत्तर सेट प्रोग्रामिंग (CASP) के लिए एक सॉल्वर है। asp-fzn, CASP प्रोग्रामों को सॉल्वर-स्वतंत्र फ्लैटज़िंक भाषा में रूपांतरित करता है, जो कई प्रतिबंधित प्रोग्रामिंग और पूर्णांक प्रोग्रामिंग बैकएंड सॉल्वरों का समर्थन करता है। यह रैखिक बाधाओं और कुछ सामान्य वैश्विक बाधाओं की एक विस्तृत श्रृंखला का समर्थन करता है, और मौजूदा ASP प्रतियोगिताओं के बेंचमार्क पर अत्याधुनिक ASP सॉल्वरों के साथ प्रतिस्पर्धी प्रदर्शन प्रदर्शित करता है। इसके अलावा, हम साहित्य से कई CASP समस्याओं पर asp-fzn का मूल्यांकन करते हैं और इसके प्रदर्शन की तुलना clingcon से करते हैं, जो एक अग्रणी CASP सॉल्वर है जो अधिकांश asp-fzn भाषा का समर्थन करता है। Asp-fzn सामान्य ASP पर प्रतिस्पर्धी है और आशाजनक प्रदर्शन प्रदर्शित करता है, कुछ CASP बेंचमार्क पर clingcon से बेहतर प्रदर्शन करता है।
