Меня интересует подсчет количества решений проблемы (не перечисление решений). Для этого у меня есть инструменты, использующие файлы CNF . Я хочу преобразовать файлы Minizinc (формат mzn или Flatzinc fzn) и преобразовать их в CNF. Я узнал, что...