class Gecode::SearchAbortedError

An exception raised when a search has been aborted due to e.g. hitting the time limit specified when initiating the search.