Dsy Network>  www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > Sat Solver
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
s4lv0
dsy developer

User info:
Registered: Jun 2009
Posts: 20 (0.00 al dì)
Location: Milano
Corso: Informatica
Anno: III
Time Online: 13:35:18 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Question 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
24-03-2010 20:25
Click Here to See the Profile for s4lv0 Click here to Send s4lv0 a Private Message Find more posts by s4lv0 Add s4lv0 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 14:38.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts 		HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.025 seconds (76.20% PHP - 23.80% MySQL) con 28 query.