[−][src]Struct varisat::config::SolverConfig

pub struct SolverConfig {
    pub vsids_decay: f32,
    pub clause_activity_decay: f32,
    pub reduce_locals_interval: u64,
    pub reduce_mids_interval: u64,
    pub luby_restart_interval_scale: u64,
}

Configurable parameters used during solving.

Fields

vsids_decay: f32

Multiplicative decay for the VSIDS decision heuristic.

[default: 0.95] [range: 0.5..1.0]

clause_activity_decay: f32

Multiplicative decay for clause activities.

[default: 0.999] [range: 0.5..1.0]

reduce_locals_interval: u64

Number of conflicts between local clause reductions.

[default: 15000] [range: 1..]

reduce_mids_interval: u64

Number of conflicts between mid clause reductions.

[default: 10000] [range: 1..]

luby_restart_interval_scale: u64

Scaling factor for luby sequence based restarts (number of conflicts).

[default: 128] [range: 1..]

Methods

impl SolverConfig[src]

pub fn help() -> &'static str[src]

Return a string describing all supported configuration options.

Trait Implementations

impl Default for SolverConfig[src]

Auto Trait Implementations

impl Send for SolverConfig

impl Sync for SolverConfig

Blanket Implementations

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference where
    Inner: Part,
    Outer: Part<PartType = Field<OuterFieldType>>,
    OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
    Reference: HasPart<Outer> + ?Sized,