We currently try to generate all schedules that provide valid input, but we don't check whether or not it is possible to generate. We can prove that some schedules are mathematically impossible based on the given inputs.