Skip to main content

validate_equivalence_gpu

xlog_prob::compilation::validation

Function validate_equivalence_gpu 

Source 
pub fn validate_equivalence_gpu(
    phi: &GpuCnf,
    phi_decision_var_limit: &TrackedCudaSlice<u32>,
    circuit: &GpuXgcf,
    provider: &Arc<CudaKernelProvider>,
    config: GpuEquivalenceConfig,
) -> Result<()>