Crate scuttle_core

Scuttle

A multi-objective MaxSAT solver with multiple algorithms implemented.

Re-exports

pub use options::CoreBoostingOptions;

pub use options::KernelOptions;

pub use options::Limits;

pub use algs::CoreBoost;

pub use algs::Init;

pub use algs::InitCert;

pub use algs::InitCertDefaultBlock;

pub use algs::InitDefaultBlock;

pub use algs::KernelFunctions;

pub use algs::Solve;

pub use algs::bioptsat::BiOptSat;

pub use algs::lowerbounding::LowerBounding;

pub use algs::pminimal::PMinimal;

Modules

algs

Core solver functionality shared between different algorithms

options

Options

prepro

Instance Processing Happening Before It’s Being Passed To The Actual Solver

types

Types

Structs

EncodingStats

Statistics of a used cardinality or pseudo-boolean encodings

Stats

Statistics of the solver

Enums

MaybeTerminated

Return type for functions that either return a value or were terminated early for some reason

MaybeTerminatedError

Return type for functions that either return a value, terminate early or error

Phase

Algorithm phases that the solver can be in

Termination

Early termination reasons for [Solve::solve]

Traits

ExtendedSolveStats

Trait for getting statistics from the solver

WriteSolverLog

A logger to attach to a solver