Module exact 

Exact probabilistic inference via GPU-native Decision-DNNF knowledge compilation and weighted model counting.

Structs

ExactDdnnfProgram

Reusable exact-inference program backed by a certified GPU circuit.

ExactResult

Result of exact probabilistic evaluation.

ExactResultWithGrads

Result of exact evaluation with per-query gradients.

GpuConfig

GPU device selection and memory budget for probabilistic inference.

QueryGradients

Exact probability and literal-log-weight gradients for one query.

QueryProbability

Exact probability reported for one ground query.

Enums

ProbVarInfo

What a CNF variable stands for, in the order of the gradient vectors.