Applications
SAT@home currently has the following applications. When you participate in SAT@home, work for one or more of these applications will be assigned to your computer. The current version of the application will be downloaded to your computer. This happens automatically; you don't have to do anything.
| ParallelAndDistributedSATsolver | |||
|---|---|---|---|
| Platform | Version | Installation time | |
| Microsoft Windows (98 or later) running on an Intel x86-compatible CPU | 1.13 | 24 Jan 2012 16:12:35 UTC | |
| Linux running on an Intel x86-compatible CPU | 1.14 | 24 Jan 2012 16:28:25 UTC | |
| Linux running on an AMD x86_64 or Intel EM64T CPU | 1.15 | 24 Jan 2012 17:00:59 UTC | |