Compile system models to d-DNNF circuits, then diagnose, track, and learn on one artifact: exact posteriors, ranked diagnoses, mode tracking, EM — with a PyTorch backend for GPU inference.
python pytorch bayesian-inference sat model-counting condition-monitoring knowledge-compilation fault-diagnosis probabilistic-circuits model-based-diagnosis dnnf d-dnnf
-
Updated
Jul 26, 2026 - Python