Expand description
Exact probabilistic inference via GPU-native Decision-DNNF knowledge compilation and weighted model counting.
Structs§
- Exact
Ddnnf Program - Exact
Result - Exact
Result With Grads - GpuConfig
- GPU device selection and memory budget for probabilistic inference.
- Query
Gradients - Query
Probability
Enums§
- Prob
VarInfo - What a CNF variable stands for, in the order of the gradient vectors.