-
SAT: I solved one!
http://sat.isa.ru/pdsat/index.php
- In the current experimet 2 SAT problems (from 10) were solved.
- Solution of SAT problem # 2 was found in WU 272110 by zombie67 [MM] from SETI.USA.
- New vertion of server application released. Generation of tasks now is performed gradually.
"Don't confront me with my failures, I had not forgotten them" - Jackson Browne
Avatar source
Posting Permissions
- You may not post new threads
- You may not post replies
- You may not post attachments
- You may not edit your posts
-
Forum Rules