Struct GpuEquivalenceConfig 

#[non_exhaustive]
pub struct GpuEquivalenceConfig {
    pub cdcl: GpuCdclConfig,
    pub reuse_workspace: bool,
}

Configuration for GPU-native equivalence verification (phi equiv C).

Controls the CDCL solver parameters and whether to reuse the solver workspace across multiple equivalence checks. Workspace reuse amortizes device-memory allocation when verifying many circuits in sequence (e.g., during incremental compilation).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

cdcl: GpuCdclConfig

CDCL solver configuration for the equivalence verifier.

reuse_workspace: bool

Reuse the CDCL workspace across successive verifier invocations.

Trait Implementations

impl Clone for GpuEquivalenceConfig

fn clone(&self) -> GpuEquivalenceConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuEquivalenceConfig

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

Formats the value using the given formatter.

impl Default for GpuEquivalenceConfig

fn default() -> GpuEquivalenceConfig

Returns the “default value” for a type.

impl Copy for GpuEquivalenceConfig