[Russian] KasperskyOS

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

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

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


Please drop me email about bug(s) and/or suggestion(s): blog@yurichev.com. List of other blog posts. BTW, I'm teaching. Follow me in social networks: Twitter, Telegram, GitHub, Discord, Facebook.