Module splr::solver::restart[−][src]

Crate restart provides restart heuristics. Crate restart provides restart heuristics.

Modules

property

Structs

Restarter

Restarter provides restart API and holds data about restart conditions.

Enums

ProgressUpdate

Update progress observer sub-modules

RestartDecision

Type for the result of restart.

RestartMode

Restart modes

Traits

RestartIF

API for restart and stabilize.