The identification of possible conflict-free future scenarios leads to the mathematical problem of counting solutions of a given integer program.