SAT@home: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Odicin (Diskussion | Beiträge) K (apps upped) |
Odicin (Diskussion | Beiträge) K (apps upped) |
||
Zeile 14: | Zeile 14: | ||
|Land=Russland | |Land=Russland | ||
|Bereich=[[BOINC-Projekte#Grid/Informatik|Grid/Informatik]] | |Bereich=[[BOINC-Projekte#Grid/Informatik|Grid/Informatik]] | ||
|Windows=ParallelAndDistributedSATsolver 1. | |Windows=ParallelAndDistributedSATsolver 1.12 | ||
|Linux=ParallelAndDistributedSATsolver 1. | |Linux=ParallelAndDistributedSATsolver 1.13 | ||
|Mac= | |Mac= | ||
|64bit= | |64bit=ParallelAndDistributedSATsolver 1.14 [linux] | ||
|PS3= | |PS3= | ||
|ATI= | |ATI= |
Version vom 16. Dezember 2011, 20:54 Uhr
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||