Module splr::restart

Crate restart provides restart heuristics.

Structs

LubySeries	An implementation of Luby series.
ProgressASG	An assignment history used for blocking restart
ProgressLBD	An EMA of learnt clauses' LBD, used for forcing restart
ProgressLVL	An EMA of decision level.
RestartExecutor	RestartExecutor provides restart API and holds data about restart conditions.

Traits

RestartIF

API for restart like block_restart, force_restart and so on.