Sat Solver
Posted by s4lv0 on 24-03-2010 20:25
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
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited