List of types that can be used with callbacks. Each type corresponds to a specific event that can occur during the resolution.
Event that occurs when a phase is started.
Event that occurs when a phase ends.
Event that occurs regularly before, after and during the search to display useful information about the model and the resolution. The time between two such events can be tuned with the TimeBetweenDisplays parameter.
Event that occurs regularly during the resolution. The time between two such events can be tuned with the TimeBetweenTicks parameter.