CROSS cyclic resource-constrained scheduling solver