আমি যেটি করতে চাই তা হ'ল আমার কাছে থাকা একটি গণিতের সমস্যাটি বুলিয়ান সন্তুষ্টিযোগ্য সমস্যা (স্যাট) এ পরিণত হবে এবং তারপরে এটি স্যাট সমাধানকারী ব্যবহার করে সমাধান করুন। আমি ভাবছি কেউ যদি কোনও ম্যানুয়াল, গাইড বা এমন কিছু জানেন যা আমার সমস্যাটিকে একটি স্যাট ইভেন্টে রূপান্তর করতে সহায়তা করবে।
এছাড়াও, আমি এটি দ্রষ্টব্য সময়ের চেয়ে আরও ভাল সমাধান করতে চাই। আমি আশা করি একটি স্যাট সমাধানকারী আমাকে সাহায্য করবে।
1
দয়া করে এখানেও একবার দেখুন: cs.stackexchange.com/questions/12135/convert-problem-to-cnf
—
Dchris
শুধু একটি দ্রুত এবং ময়লা সমাধান সামনে আপনি অন্য কিছু চেষ্টা করুন, যদি আপনি শুধু পরীক্ষা কিছু করতে চাই: cryptlogver । সরঞ্জামটি বলে যে এটি ক্রিপ্টোর জন্য ফোকাসযুক্ত, তবে এটি কৌশলটি করবে। তদুপরি, আপনি যে ভাষাটি ব্যবহার করবেন সেটি সিনট্যাক্সটি খুব সি পছন্দ করে তাই আপনার অনেকগুলি সমস্যা হবে না। ইনস্টলেশনটি কঠিন নয় তবে কোয়ার্টাস বড় তাই এক কাপ কফি পান।
—
absinthe_minded
এছাড়াও সম্পর্কিত প্রশ্ন দেখুন cs.stackexchange.com/q/30790
—
আন্দ্রে সালামন