Add ILP based scheduler

It would be nice to have an ILP-based scheduler implemented, although it probably will not be useful for larger SFGs.