ConGuess

حل مشکلات رضایت از محدودیت

در ConGuess شما باید تا آنجا که ممکن است مشکلات رضایت از محدودیت را حل کنید. شما باید یک مقدار معتبر به هر یک از متغیرهای نشان داده شده s.t اختصاص دهید. تمام محدودیت ها برآورده شده است.
این برنامه از نوعی هوش مصنوعی به نام برنامه نویسی محدودیت برای ایجاد مشکلات و اعتبارسنجی راه حل استفاده می کند.