PDA

View Full Version : SAT@Home: Version 3.17 released



RSS
09-19-13, 12:11 PM
???????? ?????????? ?????? 3.17. ? ??? ????????? ????? ??????? ??? ??????? ?????? - '??????? 72 ????????????? ?????? ????? 2-?? ? 3-?? ?????????? ? ??????? ??????'.

Version 3.17 of the application released. New condition 'at least 72 orthogonal cells between 2nd and 3rd squares of the triple' was added for the current problem.

More... (http://sat.isa.ru/pdsat/all_news.php#77)