.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Sat Solver (http://www.dsy.it/forum/showthread.php?threadid=40257)

Sat Solver

Per esercitarmi in vista del primo compitino, ho istallato zChaff(ne ho provati anche altri)ma non riesco a far visualizzare tutti gli assegnamenti possibili, per cui diventa quasi inutile usarlo...
Vorrei sapere se qualcuno di voi l ha provato e se è riuscito ad impostarlo correttamente.
Grazie