Enum GpuSolverProductionPortfolioJob 

pub enum GpuSolverProductionPortfolioJob<'a> {
    Sat {
        cnf: &'a GpuCnf,
        branch_var_limit: &'a TrackedCudaSlice<u32>,
    },
    MaxSat {
        candidates: &'a [GpuSolverProductionMaxSatCandidate<'a>],
    },
    EncodedMaxSat {
        weighted: &'a SolveInstance,
        branch_var_limit: &'a TrackedCudaSlice<u32>,
        selections: &'a [GpuSolverProductionWeightedMaxSatSelection<'a>],
    },
    Unknown {
        reason: &'static str,
    },
    Timeout {
        budget_micros: u64,
    },
}

One job in a bounded GPU solver portfolio.

Variants

Sat

A SAT job dispatched through GPU CDCL.

Fields

cnf: &'a GpuCnf

Device-resident CNF for this SAT job.

branch_var_limit: &'a TrackedCudaSlice<u32>

Device-resident branch limit passed to the GPU CDCL solver.

MaxSat

A bounded MaxSAT job dispatched through GPU CDCL candidate checks.

Fields

candidates: &'a [GpuSolverProductionMaxSatCandidate<'a>]

Candidate set to certify.

EncodedMaxSat

A weighted MaxSAT job encoded into GPU CNF candidates with an optimum upper-bound certificate.

Fields

weighted: &'a SolveInstance

Weighted MaxSAT instance whose soft clauses define the encoded candidates.

branch_var_limit: &'a TrackedCudaSlice<u32>

Device-resident branch limit passed to the GPU CDCL solver.

selections: &'a [GpuSolverProductionWeightedMaxSatSelection<'a>]

Soft-clause selections to encode and certify.

Unknown

A status-aware job whose GPU-backed portfolio budget ended inconclusively.

Fields

reason: &'static str

Diagnostic reason recorded by the accepted portfolio scheduler.

Timeout

A status-aware job whose accepted portfolio budget timed out.

Fields

budget_micros: u64

Timeout budget observed by the accepted portfolio scheduler.

Trait Implementations

impl<'a> Clone for GpuSolverProductionPortfolioJob<'a>

fn clone(&self) -> GpuSolverProductionPortfolioJob<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionPortfolioJob<'a>