SkylerPeterson/ROS-SAT-Schedule-Solver — pull request #2 by HazardousPeach (2014-12-03 18:46:19+00:00)
Title: Added Intervals

You can now specify a list of time intervals in which a task must occur, instead of just a deadline. If you want to specity a deadline instead, use the DeadlineTask class.