SAT@home

From BOINC Wiki
Revision as of 23:08, 3 June 2016 by Jord (talk | contribs) (adding into template)

Project name: SAT@home
Project URL: http://sat.isa.ru/pdsat/
Description: Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem.
Platforms: Linux, Windows
Calculates using GPUs: not available
Has an OpenGL screen saver: {{{6}}}