A scheduler library