Support for constraint scheduling.