RSS
06-24-13, 06:57 AM
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... (http://sat.isa.ru/pdsat/all_news.php#64)
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... (http://sat.isa.ru/pdsat/all_news.php#64)