Skip to content
@Tractables

Tractables

Tractable circuits and their applications

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 107 14

  5. vitri vitri Public

    CNF preprocessing and vtree construction for circuit compilation and model counting

    Rust 5

  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

Repositories

Showing 10 of 16 repositories
  • tididi Public

    Tree Decision Diagrams for Boolean functions, model counting, and probabilistic inference in Rust

    Tractables/tididi's past year of commit activity
    Rust 2 Apache-2.0 0 0 2 Updated Oct 15, 2026
  • 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.

    Tractables/goatd's past year of commit activity
    Rust 2 Apache-2.0 0 0 1 Updated Oct 15, 2026
  • vitri Public

    CNF preprocessing and vtree construction for circuit compilation and model counting

    Tractables/vitri's past year of commit activity
    Rust 5 Apache-2.0 0 0 0 Updated Oct 15, 2026
  • pyjuice Public

    Scalable training and inference for Probabilistic Circuits

    Tractables/pyjuice's past year of commit activity
    Python 107 Apache-2.0 14 3 1 Updated Oct 15, 2026
  • cnfs Public

    A curated collection of ~27,900 CNF instances for model counting, weighted/projected model counting, and knowledge compilation research

    Tractables/cnfs's past year of commit activity
    Python 0 0 0 0 Updated Jul 31, 2026
  • Alea.jl Public
    Tractables/Alea.jl's past year of commit activity
    Julia 34 Apache-2.0 10 37 (2 issues need help) 4 Updated Nov 8, 2025
  • LogicCircuits.jl Public

    Logic Circuits from the Juice library

    Tractables/LogicCircuits.jl's past year of commit activity
    Julia 52 Apache-2.0 4 5 (1 issue needs help) 1 Updated Jun 15, 2024
  • ProbabilisticCircuits.jl Public

    Probabilistic Circuits from the Juice library

    Tractables/ProbabilisticCircuits.jl's past year of commit activity
    Julia 107 Apache-2.0 10 11 0 Updated Jun 10, 2024
  • ChowLiuTrees.jl Public

    Learning Chow-Liu Trees from data

    Tractables/ChowLiuTrees.jl's past year of commit activity
    Julia 5 Apache-2.0 1 2 0 Updated Jun 10, 2024
  • DirectedAcyclicGraphs.jl Public

    Infrastructure for Directed Acyclic Graphs in Julia

    Tractables/DirectedAcyclicGraphs.jl's past year of commit activity
    Julia 10 Apache-2.0 2 0 0 Updated Jun 7, 2024
View all repositories

Most used topics

Loading…