Tractables

Pinned Loading

1. ProbabilisticCircuits.jl ProbabilisticCircuits.jl Public

   Probabilistic Circuits from the Juice library

   Julia 107 10

2. Alea.jl Alea.jl Public

   Julia 34 10

3. DirectedAcyclicGraphs.jl DirectedAcyclicGraphs.jl Public

   Infrastructure for Directed Acyclic Graphs in Julia

   Julia 10 2

4. pyjuice pyjuice Public

   Scalable training and inference for Probabilistic Circuits

   Python 103 13

5. vitri vitri Public

   CNF preprocessing and vtree construction for circuit compilation and model counting

   Rust 4

6. goatd goatd Public

   Greatest Of All Tree Decompositions: tree decompositions of graphs — elimination orders, FlowCutter, multilevel bisection — with PACE .gr/.td I/O and a command-line solver.

   Rust 2