Thank you for your interest in Gerasim@home !

The project uses Internet-connected computers to do research in discrete mathematics and logic control.
The current goal: testing and comparison of heuristic methods for getting separations of parallel algorithms working in the CAD system for designing logic control systems.

You can participate by downloading and running a free program on your computer.