Difference between revisions of "[email protected]"

From BOINC Wiki
Jump to: navigation, search
m (adding logo and resize)
(improving project description)
 
Line 5: Line 5:
 
|3=Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem.
 
|3=Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem.
 
|4=Linux, Windows
 
|4=Linux, Windows
|5=not available
+
|5=No
 +
|6=No
 
}}
 
}}

Latest revision as of 21:39, 14 February 2017

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