Adding min catkin package
Merge branch 'master' of https://github.com/SkylerPeterson/ROS-SAT-Schedule-Solver