২০০ 2006 এর একসময় (আমার মনে হয়) হ্যান্ডেল এবং ইনভার্টার গ্রাফগুলি পরিচালনা করার জন্য এআইজিআইআর লাইব্রেরি প্রকাশের পরে, কিছু সার্কিট স্যাট সলভার 2006-2008 সালে প্রকাশিত হয়েছিল এবং কয়েকটি স্যাট রেস / প্রতিযোগিতায় এআইজি ট্র্যাক ছিল। তবে তার পর থেকে মনে হচ্ছে ফোকাস পুরোপুরি এসএমটি বা ক্লাসাল এসএটি সলভারগুলিকে উন্নত করার দিকে।
স্বজ্ঞাতভাবে আমার কাছে সার্কিট স্যাটকে কেন্দ্র করে মনোনিবেশ করার বিষয়টি অনেকটা বোধগম্য বলে মনে হয়: অনেকেই যদি না হন তবে সিএনএফের চেয়ে বেশিরভাগ সমস্যা স্বাভাবিকভাবেই সার্কিট স্যাট হিসাবে প্রকাশ করা হয়; সার্কিটগুলি স্ট্রাকচারাল তথ্য সরবরাহ করে যা সিএনএফ থেকে বিপরীত ইঞ্জিনিয়ার করা যায় না, তবে সার্কিটগুলি সর্বদা সিএনএফ-এ রূপান্তরিত হতে পারে; এবং কমপক্ষে যৌক্তিক সংশ্লেষের শিল্পগতভাবে গুরুত্বপূর্ণ ক্ষেত্রটি এআইজিদের জন্য একটি বিশেষ উপযুক্ত বলে মনে হয়।
তো, কী হল? এটি কি পরিণত যে অতিরিক্ত কাঠামোগত তথ্য সলভারদের সাহায্য করে না? এআইজি-ভিত্তিক স্যাট কি ব্যর্থ পরীক্ষার সমাধান করছে?