Struct GpuSolverProductionMaxSatCandidate 

pub struct GpuSolverProductionMaxSatCandidate<'a> {
    pub score: u64,
    pub cnf: &'a GpuCnf,
    pub branch_var_limit: &'a TrackedCudaSlice<u32>,
}

One GPU-CDCL-backed candidate for bounded weighted MaxSAT production solving.

The candidate CNF should encode the hard clauses plus the soft-clause subset represented by score. The adapter certifies each provided candidate through the existing GPU CDCL SAT path; it does not enumerate assignments on CPU.

Fields

score: u64

Candidate MaxSAT score represented by this satisfiable CNF.

cnf: &'a GpuCnf

Device-resident CNF for this MaxSAT candidate.

branch_var_limit: &'a TrackedCudaSlice<u32>

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

Trait Implementations

impl<'a> Clone for GpuSolverProductionMaxSatCandidate<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionMaxSatCandidate<'a>