[Russian] KasperskyOS

Насчет статьи на Хабре...

Информация для соискателей -- "Задача про справки" легко решается при помощи SAT/SMT-солверов, некоторые отдаленно похожие примеры есть в SAT/SMT by Example.

А если количество "справок" и "контор" немного, то это можно даже решить примитивным самодельным SAT-солвером, сделанным на коленке...