model-counting
Python package for Sentential Decision Diagrams (SDD)
Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.
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.
