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 3.20 21 Apr 2015 20:54:33 UTC
Microsoft Windows running on an AMD x86_64 or Intel EM64T CPU 3.20 21 Apr 2015 20:54:33 UTC
Linux running on an Intel x86-compatible CPU 3.20 21 Apr 2015 20:54:33 UTC
Linux running on an AMD x86_64 or Intel EM64T CPU 3.20 21 Apr 2015 20:54:33 UTC
PD-SAT for cryptology
Platform Version Installation time
Microsoft Windows (98 or later) running on an Intel x86-compatible CPU 2.05 4 Jan 2015 10:56:48 UTC
Microsoft Windows running on an AMD x86_64 or Intel EM64T CPU 2.05 3 Jan 2015 6:34:01 UTC
Linux running on an Intel x86-compatible CPU 2.05 4 Jan 2015 10:56:48 UTC
Linux running on an AMD x86_64 or Intel EM64T CPU 2.05 4 Jan 2015 11:01:19 UTC


Home | My Account | Message Boards


Copyright © 2016 Institute for System Dynamics and Control Theory of SB RAS and Institute for Information Transmission Problems of RAS