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.