pub fn validate_equivalence_gpu(
phi: &GpuCnf,
phi_decision_var_limit: &TrackedCudaSlice<u32>,
circuit: &GpuXgcf,
provider: &Arc<CudaKernelProvider>,
config: GpuEquivalenceConfig,
) -> Result<()>Expand description
Proves source-CNF and circuit equivalence with the GPU CDCL verifier.