 | اسارابابزار نمونه بردار برا سستم ها برنامه نوس محدودت SAT |
| انون بارر ن | |
اساراب رتبه بند و خلاصه
تبلغات
اساراب برسب ها
اساراب شرح
Scarab ابزار نمونه اوله نمونه اوله مبتن بر SAT است ه برا سستم ها برنامه نوس محدودت مبتن بر SAT طراح شده است. Scarab شامل ماول رمزذار SAT، اجزا زبان خاص برنامه نوس محدودت، و رابط اربر به SAT Solver Backend است. علاوه بر ان، شما همنن م تواند از Scarab برا اجاد سستم ها مبتن بر SAT استفاده ند.
اساراب نرم افزارها مرتبط
