[email protected]

From BOINC Wiki
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