Adakah yang bisa menunjuk ke satu atau lebih situs web di mana dimungkinkan untuk mengunduh implementasi kerja pemecah #SAT? Saya tertarik pada mereka yang mengembalikan hitungan solusi yang tepat, bukan perkiraan.
2
Halo Walter, pertanyaan Anda dekat dengan perbatasan yang secara resmi akan menjadi "topik" untuk situs ini. Namun, jika Anda tidak memiliki tempat lain untuk mengajukan pertanyaan ini dan kami dapat menjawabnya, mungkin tidak seburuk itu ... (Karena situs ini masih dalam pengembangan, saya pikir kami lebih terbuka daripada situs lain.) Yakinlah bahwa maksud dari komentar ini bukan untuk "memarahi" atau "memperingatkan", itu hanya pemberitahuan ramah.
—
Ryan Williams
Hai Ryan, terima kasih atas perhatiannya. Maaf jika pertanyaan ini dekat dengan perbatasan. Saya telah mencari di web dan saya tidak menemukan apa-apa: hanya beberapa pemecah SAT, tetapi tidak ada pemecah #SAT. Itu sebabnya saya bertanya di sini. Tentu saja saya tahu bahwa saya dapat menulis kode saya sendiri yang menggunakan SAT solver sebagai mesin untuk menghitung solusi, tetapi saya sedang mencari sesuatu yang sudah dibuat dan siap digunakan.
—
Giorgio Camerani
Saya ingin tidak setuju. Saya pikir pertanyaan seperti itu ada dalam ruang lingkup, dan seharusnya!
—
Suresh Venkat
setuju dalam ruang lingkupnya. fyi / imho itu tidak terlalu praktis untuk membangun pemecah #SAT dari pemecah SAT kecuali seseorang memiliki kode sumber dan bahkan dalam kasus itu, tidak begitu praktis, kecuali untuk formula yang sangat kecil, karena ledakan eksponensial yang sangat buruk. biasanya teknik khusus yang unik untuk #SAT dan bukan SAT akan diperlukan ...
—
vzn