هذا الامتداد يوحَّد في كالك ويوفّر محركات حل جديدة للاستخدام لتحسين نماذج البرمجة الغير خطية.