Cycle solving