AMDave
06-24-2013, 11:03 AM
New application. Version for windows_x86_x64.
New application 3.10 was released.
It is now based on native BOINC API.
Version for windows_x86_64 was added.
Linux versions were rebuilt on old Debian for more stable work (Debian 4 for x86, Debian 5 for 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... (http://sat.isa.ru/pdsat/all_news.php#64)
New application 3.10 was released.
It is now based on native BOINC API.
Version for windows_x86_64 was added.
Linux versions were rebuilt on old Debian for more stable work (Debian 4 for x86, Debian 5 for 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... (http://sat.isa.ru/pdsat/all_news.php#64)