Работа посвящена решению задачи сапера как задачи программирования в булевых ограничениях и разработке модуля автоматизированного решения задачи сапера с использованием бинарных решающих диаграмм. Реализованный модуль включает в себя пользовательский интерфейс, формирование булевых функций на основе фактов о расположении мин и интерпретацию максимально сильного следствия из фактов. Для представления булевых функций и последующей работы с ними были использованы бинарные решающие диаграммы. Модуль решения задачи сапера предназначен для интеграции на национальную платформу «Открытое образование» в качестве пособия для слушателей курса профессора Карпова «Математическая логика», чтобы продемонстрировать слушателям курса, что полученной ими информации достаточно для того, чтобы запрограммировать самим логическую задачу.