Tractables

Pinned Loading

1. pyjuice pyjuice Public

   Scalable training and inference for Probabilistic Circuits

   Python 107 16

2. vitri vitri Public

   CNF preprocessing and vtree construction for circuit compilation and model counting

   Rust 5

3. 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

4. tididi tididi Public

   Tree Decision Diagrams for Rust, Python and C: canonical circuits for Boolean functions, with model counting and weighted evaluation

   Rust 2 1

5. tddlog tddlog Public

   Exact probabilistic inference by compilation into tree decision diagrams

   Rust

6. tididi-cnf tididi-cnf Public

   Knowledge compiler and model counter for CNF: compile formulas into Tree Decision Diagrams and count their models

   Rust