tiny.smt.RestartPolicy

1/// The restart schedule: the search goes back to the first decision after a conflict count that2/// starts at `first_conflict_interval` and multiplies by `growth` after each restart. A caller3/// passes one to `Solver.setRestartPolicy` to change the schedule, for example to restart after4/// every conflict. The default restarts after 128 conflicts, then after 256 more, then 512,5/// doubling each time. The solver keeps its learned clauses across a restart. The count starts over6/// at each solve, and a restart happens only while a decision is in force.7pub const RestartPolicy = struct {8    /// Conflicts before the first restart of each solve, 128 by default. Zero turns restarts off.9    first_conflict_interval: usize = 128,10    /// The factor the interval grows by after each restart, 2 by default. A factor of 0 or 1 keeps11    /// the interval fixed, and the interval stops growing at the largest `usize`.12    growth: usize = 2,1314    /// Returns a policy that turns restarts off: an interval of 0 and a growth of 1. A caller that15    /// turns restarts off passes it to `Solver.setRestartPolicy`.16    pub fn disabled() RestartPolicy {17        return .{ .first_conflict_interval = 0, .growth = 1 };18    }19};

1pub const RestartPolicy = sat.RestartPolicy;