Czy ktoś mógłby wskazać jedną lub więcej stron internetowych, z których można pobrać działającą implementację solvera #SAT? Interesują mnie osoby zwracające dokładną liczbę rozwiązań, a nie przybliżenie.
2
Cześć Walter, twoje pytanie jest blisko granicy tego, co byłoby oficjalnie „na temat” dla tej strony. Jeśli jednak nie masz gdzie zadać tego pytania, a my możemy na nie odpowiedzieć, być może nie jest tak źle ... (Ponieważ strona jest wciąż w fazie rozwoju, myślę, że jesteśmy bardziej otwarci niż inne strony). że celem tego komentarza nie jest „besztanie” ani „ostrzeganie”, to jest po prostu przyjazne powiadomienie.
—
Ryan Williams
Cześć Ryan, dziękuję za powiadomienie. Przepraszam, jeśli to pytanie jest blisko granicy. Szukałem w Internecie i nic nie znalazłem: tylko niektóre solvery SAT, ale żadnych solverów #SAT. Właśnie dlatego zapytałem tutaj. Oczywiście wiem, że potrafię napisać własny kod, który wykorzystuje solver SAT jako silnik do liczenia rozwiązań, ale szukałem czegoś, co już jest gotowe i gotowe do użycia.
—
Giorgio Camerani,
Chciałbym się nie zgodzić Myślę, że takie pytania są w zasięgu i powinny być!
—
Suresh Venkat
uzgodnić jego zakres. fyi / imho nie jest zbyt praktyczne budowanie solvera #SAT z solvera SAT, chyba że ma się kod źródłowy, a nawet w takim przypadku nie jest tak praktyczny, z wyjątkiem bardzo małych formuł, ze względu na bardzo zły wykładniczy wybuch. zwykle wymagane są specjalne techniki unikalne dla #SAT, a nie SAT ...
—
dniu