id summary reporter owner description type status priority milestone component version resolution keywords cc 2528 Adapt algorithms to use the generic termination criteria pfleck "All algorithms should use the new termination criteria, implemented in #2027. ALPS already uses termination criteria for demonstration." enhancement new medium HeuristicLab 4.0 Algorithms 3.3.13