Программный комплекс иерархического исследования сложных дискретных структур