knowledge-compilation
Python package for Sentential Decision Diagrams (SDD)
Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.
DeepLog: the PyTorch for neurosymbolic AI
CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.
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.
A state of the art Weighted and Projected Sampler
