Module xgcf 

Helpers for testing XGCF circuit CUDA kernels.

Structs

TinyXgcfDevice

Device-resident XGCF circuit + reusable buffers.

TinyXgcfRun

TinyXgcfSpec

Functions

gen_and_circuit

Generate an AND circuit: root = AND(Lit(+1), Lit(+2))

gen_decision_circuit

Generate a Decision circuit: root = Decision(var, false_child=Const1, true_child=Lit(+1))

gen_deep_chain_circuit

Generate a deep chain circuit: AND(AND(AND(…Lit(1)…)))

gen_large_or_circuit

Generate a large circuit with N parallel literals under an OR node

gen_or_circuit

Generate an OR circuit: root = OR(Lit(+1), Lit(+2))

gen_single_lit_circuit

Generate a single-literal circuit: root = Lit(+var)

numerical_gradient

Compute numerical gradient for verification

run_tiny_xgcf_backward

run_tiny_xgcf_forward

tiny_xgcf_spec

Tiny Decision-DNNF-shaped XGCF circuit that exercises CONST/LIT/AND/OR/DECISION nodes.