pub fn hash_cnf_gpu(
cnf: &GpuCnf,
provider: &Arc<CudaKernelProvider>,
) -> Result<TrackedCudaSlice<u64>>Expand description
Compute a deterministic CNF hash on the GPU.
Hash input order matches the cache kernel: num_vars, num_clauses, num_lits, clause_offsets[0..num_clauses], literals[0..num_lits-1].