Struct GpuCompileConfig 

pub struct GpuCompileConfig {
    pub frontier_depth: u16,
    pub max_frontier_items: u32,
    pub max_depth: u16,
    pub smooth_node_cap: u32,
    pub smooth_edge_cap: u32,
    pub cdcl_restart_interval: u32,
    pub cdcl_learned_bytes: u64,
    pub cdcl_conflict_budget: Option<u64>,
    pub incremental_verify: bool,
}

Configuration for GPU-native Decision-DNNF knowledge compilation plus GPU CDCL verification.

This is the public control-plane contract for the GPU-native compilation pipeline. Use GpuCompileConfig::default() for conservative static defaults, or [crate::exact::default_compile_config] for dynamic sizing from a CNF.

Fields

frontier_depth: u16

BFS expansion depth before handing each frontier item to a per-block DFS worker.

max_frontier_items: u32

Hard cap on the number of frontier work items (overflow is a hard error).

max_depth: u16

Absolute depth cap (defensive); exceeding this is a hard error (no UNKNOWN).

smooth_node_cap: u32

Hard cap on nodes emitted by the GPU smoothing pass.

smooth_edge_cap: u32

Hard cap on edges emitted by the GPU smoothing pass.

cdcl_restart_interval: u32

CDCL restart cadence (deterministic).

cdcl_learned_bytes: u64

Learned clause arena size (bytes) for the verifier instance.

cdcl_conflict_budget: Option<u64>

Optional conflict budget for debug/profiling only; production must be unbounded.

incremental_verify: bool

Enable workspace reuse in the equivalence verifier (amortizes arena allocation).

Trait Implementations

impl Clone for GpuCompileConfig

fn clone(&self) -> GpuCompileConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuCompileConfig

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

Formats the value using the given formatter.

impl Default for GpuCompileConfig

fn default() -> Self

Conservative defaults suitable for small-to-medium CNFs.

Production callers should use [crate::exact::default_compile_config] which sizes arenas dynamically from the CNF and memory budget.

impl Copy for GpuCompileConfig