Out of curiosity, how does the off-the-shelf software solve scheduling problems? EDIT: Nevermind, another comment pointed out integer programming