এটি S-SAT - Sapienza SAT নামের লিনাক্স অ্যাপ যার সর্বশেষ প্রকাশ s-sat-0.6beta.tgz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
S-SAT - Sapienza SAT নামের এই অ্যাপটি বিনামূল্যের OnWorks সহ অনলাইনে ডাউনলোড করুন এবং চালান৷
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
S-SAT - Sapienza SAT
Ad
বর্ণনাঃ
রোমের ইউনিভার্সিটি "লা সাপিয়েঞ্জা"-এ একটি কোর্স চলাকালীন আমি ইউনিট প্রচার এবং ব্যাকট্র্যাকিংয়ের উপর ভিত্তি করে একটি সম্পূর্ণরূপে কার্যকরী SAT সমাধানকারী তৈরি করেছি; এটি DIMACS ফাইলগুলি পড়তে পারে এবং যে কোনও দৈর্ঘ্যের cnf সূত্রগুলি প্রক্রিয়া করতে পারে (আক্ষরিক সংখ্যার উপর কোনও সীমাবদ্ধতা নেই)।
পাঠকবর্গ
বিকাশকারী, বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
কমান্ড লাইন
প্রোগ্রামিং ভাষা
C
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/s-sat/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।