Zaslat SMS: Гиперграфы в автоматизации проектирования дискретных устройств