এটি হল depqbf কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
depqbf - পরিমাপকৃত বুলিয়ান সূত্রের জন্য একটি সমাধানকারী
সাইনোপিসিস
depqbf [অপশন ...] [NUM টি] [ফাইল]
বর্ণনাঃ
depqbf প্রেনেক্সে কোয়ান্টিফাইড বুলিয়ান সূত্রের (QBF) জন্য একটি অনুসন্ধান-ভিত্তিক সমাধানকারী
সংযোজক স্বাভাবিক ফর্ম। এটি দ্বন্দ্ব-চালিত QBF-এর জন্য DPLL অ্যালগরিদমের উপর ভিত্তি করে
ধারা এবং সমাধান চালিত ঘনক্ষেত্র শিক্ষা. একটি সূত্রের গঠন বিশ্লেষণ করে, DepQBF
স্বাধীন ভেরিয়েবল সনাক্ত করার চেষ্টা করে। অন্যান্য সুবিধা ছাড়াও, এই প্রায়ই
সিদ্ধান্ত নেওয়ার স্বাধীনতা বাড়ায়। DepQBF 0.1-এর JSAT সিস্টেমের বিবরণও দেখুন
রেফারেন্স এবং ধারণার একটি সংক্ষিপ্ত রূপরেখার জন্য QBFEVAL'10 থেকে।
depqbf QDIMACS বিন্যাসে QBF সূত্র পড়ে। যদি ফাইল দেওয়া হয় না, এটি থেকে এর ইনপুট পড়ে
stdin এটি QBFEVAL'10 দ্বারা প্রয়োজনীয় ইনপুট/আউটপুট মান মেনে চলে।
বিকল্প
depqbf নিম্নলিখিত বিকল্পগুলি গ্রহণ করে:
-হ, --help
ব্যবহার তথ্য মুদ্রণ.
--সংস্করণ
প্রিন্ট সংস্করণ।
--সুন্দর-প্রিন্ট
শুধুমাত্র পার্স এবং প্রিন্ট সূত্র.
-v ক্রমবর্ধমান verbosity বৃদ্ধি.
NUM টি ঐচ্ছিক: NUM সেকেন্ড পরে টাইম-আউট।
ফাইল ঐচ্ছিক: FILE থেকে ইনপুট পড়ুন।
প্রস্থান করুন স্থিতি
ইনপুট হিসাবে প্রদত্ত QBF সূত্রটি সন্তোষজনক হলে প্রস্থান অবস্থা 10 এবং যদি এটি হয় 20
অসন্তুষ্ট; অন্য কোনো প্রস্থান কোড নির্দেশ করে যে সূত্রটি সমাধান করা হয়নি।
onworks.net পরিষেবা ব্যবহার করে অনলাইনে depqbf ব্যবহার করুন
