Struct GpuSolverProductionCapabilities 

pub struct GpuSolverProductionCapabilities {
    pub gpu_cdcl_sat_unsat: GpuSolverProductionCapabilityStatus,
    pub gpu_maxsat: GpuSolverProductionCapabilityStatus,
    pub gpu_portfolio_sat_maxsat: GpuSolverProductionCapabilityStatus,
    pub cpu_oracle_solver_allowed: bool,
    pub gpu_maxsat_blocker: &'static str,
    pub gpu_portfolio_blocker: &'static str,
}

Capability report for the solver production adapter.

Fields

gpu_cdcl_sat_unsat: GpuSolverProductionCapabilityStatus

Complete SAT/UNSAT execution through the existing GPU CDCL verifier.

gpu_maxsat: GpuSolverProductionCapabilityStatus

GPU-native MaxSAT production execution.

gpu_portfolio_sat_maxsat: GpuSolverProductionCapabilityStatus

GPU SAT/MaxSAT/status-aware portfolio production execution.

cpu_oracle_solver_allowed: bool

Whether the CPU semantic-oracle solver may satisfy production metrics.

gpu_maxsat_blocker: &'static str

Blocker reason for GPU-native MaxSAT, or empty when available.

gpu_portfolio_blocker: &'static str

Blocker reason for GPU SAT/MaxSAT/status-aware portfolio execution.

Trait Implementations

impl Clone for GpuSolverProductionCapabilities

fn clone(&self) -> GpuSolverProductionCapabilities

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverProductionCapabilities

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

Formats the value using the given formatter.

impl PartialEq for GpuSolverProductionCapabilities

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for GpuSolverProductionCapabilities

impl Eq for GpuSolverProductionCapabilities

impl StructuralPartialEq for GpuSolverProductionCapabilities