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...
