SMS: Алгоритмы решения логико-комбинаторных задач