SAT@Home: Version 3.12 released. Progress-bar updated

• ???????? ?????????? ?????? 3.12. ? ??? ????????? ????? ??????? ??? ??????? ?????? - '??????? 70 ????????????? ????? ????? 2-?? ? 3-?? ?????????? ? ??????? ??????'.?????????? ? ???? ???????? ???????????? ????????? ? ????????-???.

• Version 3.12 of the application released. New condition 'at least 70 orthogonal cells between 2nd and 3rd squares of the triple' was added for the current problem.Information about current experiment was added to progress bar.

More...