Enum rustsat_kissat::Config

pub enum Config {
    Default,
    Basic,
    Plain,
    SAT,
    UNSAT,
}

Possible Kissat configurations

Variants

Default

Default configuration

Basic

Basic CDCL solving (Config::Plain but no restarts, minimize, reduce)

Plain

Plain CDCL solving without advanced techniques

SAT

Target satisfiable instances

UNSAT

Target unsatisfiable instances

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Config

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Config

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Config

fn eq(&self, other: &Config) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Config

impl Eq for Config

impl StructuralPartialEq for Config