dnnf
Deep Neural Network Falsification
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.
