SAT@home: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Odicin (Diskussion | Beiträge) K (logo) |
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.11 | ||
|Linux=ParallelAndDistributedSATsolver 1. | |Linux=ParallelAndDistributedSATsolver 1.11 | ||
|Mac= | |Mac= | ||
|64bit= | |64bit= |
Version vom 15. November 2011, 09:49 Uhr
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||