Module validation 

GPU-native equivalence validation (φ ≡ C) using the GPU CDCL verifier.

Structs

GpuEquivalenceConfig

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

GpuEquivalenceQueries

GPU-resident equivalence queries + device metadata required to solve them without host reads.

Functions

build_equivalence_queries_gpu

Build the two equivalence-check queries on GPU:

validate_equivalence_gpu

validate_equivalence_gpu_gated