[email protected]

From BOINC Wiki
Revision as of 21:39, 14 February 2017 by Jord (talk | contribs) (improving project description)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Sat logo.png

Project name: [email protected]
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: No
Has an OpenGL screen saver: No