http://sat.isa.ru/pdsat/index.php
Quote:
- 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.
