При запуске программ в MiniZinc флаг -s позволяет мне видеть количество точек выбора, изученных при поиске решения. Однако, если условия невыполнимы, количество исследованных точек выбора не отображается.
Как я могу показать точки выбора, даже если условия невыполнимы?