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.