The static task scheduler for SEng 5831