pub fn compute_free_var_mask_gpu(
cnf: &GpuCnf,
circuit: &GpuXgcf,
provider: &CudaKernelProvider,
) -> Result<TrackedCudaSlice<u8>>Expand description
Compute free-variable mask on device (vars absent from CNF and circuit).
Returns a device-resident u8 mask of length var_cap+1 where mask[v]=1 means var v is free. Traps on device if a variable appears in CNF clauses but is missing from the circuit.