Allow counting the set of possible grids in scenario k-projection coverage with constraints

[chengchihhong]

Currently, the denominator is always computed without considering grids that are not realizable. Would be beneficial to compute the number grids that are not realizable, for for each grid, it is about checking the satisfiability.