Не учишь матан - пойдёшь на метан!
Aug. 8th, 2020 05:52 pmНикого не трогаю, смотрю доклад по пакетной системе #opkg из #OpenEmbedded . И внезапно оттуда начинает изливаться #МАТАН: задача выполнимости булевых формул (SAT), NP-полная задача, conflict-driven clause learning. Радостно!