Difference between revisions of "SAT@home"
From BOINC Wiki
(adding into template) |
m (adding logo and resize) |
||
| Line 1: | Line 1: | ||
| + | [[File:Sat logo.png|200px|right]] | ||
{{Projects | {{Projects | ||
|1=SAT@home | |1=SAT@home | ||
Revision as of 16:04, 4 June 2016
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}}}
