New application 3.10 was released.
  • It is now based on native BOINC API.
  • Version for windows_x86_64 was added.
  • Linux versions were also rebuilt on old Debian for more stable work (Debian 4 for x86, Debian 5 for x86_x64). If someone has problems with linux versions, please try new ones.Up-to-date SAT solver minisat 2.2 (from github) was used





More...