এটি prover9 কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
prover9 - রেজোলিউশন/প্যারামডুলেশন থিওরেম প্রোভার
সাইনোপিসিস
prover9 [অপশন] ইনপুট ফাইল > আউটপুট ফাইল
prover9 [অপশন] -চ ইনপুট ফাইল > আউটপুট ফাইল
বর্ণনাঃ
এই ম্যানুয়াল পৃষ্ঠা সংক্ষিপ্তভাবে নথি prover9 কমান্ড।
prover9 প্রথম ক্রম এবং সমীকরণগত যুক্তি জন্য একটি স্বয়ংক্রিয় উপপাদ্য prover. এটা
এর উত্তরসূরি ভোঁদড়(1) prover. prover9 আদেশের অনুমান কৌশল ব্যবহার করে
আক্ষরিক নির্বাচন সহ রেজোলিউশন এবং প্যারামডুলেশন।
বিকল্প
বিকল্পগুলির একটি সারাংশ নীচে অন্তর্ভুক্ত করা হয়েছে।
-h কমান্ড-লাইন বিকল্পগুলির একটি তালিকা দেখুন।
-x একটি পরীক্ষামূলক বর্ধিত অটো-মোড সক্ষম করে৷ আরও তথ্যের জন্য পরামর্শ করুন
prover9 ম্যানুয়াল।
-p সম্পূর্ণ বন্ধনী আউটপুট.
-t n প্রায় শেষ অনুসন্ধান সীমাবদ্ধ n সেকেন্ড ইউনিক্স-এর মতো সিস্টেমের জন্য, `ব্যবহারকারী
CPU' সময় ব্যবহার করা হয়।
-f ফাইল
থেকে ইনপুট নিন ফাইল স্ট্যান্ডার্ড ইনপুট থেকে পরিবর্তে।
onworks.net পরিষেবা ব্যবহার করে prover9 অনলাইন ব্যবহার করুন
