Skip to main content

Module gpu_cnf

xlog_prob::compilation

Module gpu_cnf 

Source
Expand description

GPU-native Tseitin CNF encoding for PIR graphs.

Structs§

GpuCnfEncoding
GPU-resident CNF encoding bundle (CNF + var tables).
GpuCnfVarTables
GPU-resident CNF variable tables for PIR ids.

Functions§

encode_cnf_gpu
Encode a GPU PIR graph into GPU-resident Tseitin CNF.