O2 - это оптимизационная библиотека для 1С, которая позволяет описывать математические модели бизнес-задач и решать их с использованием готовых специализированных алгоритмов.