Tractables repositories

15 repositories

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-…
rust graph-algorithms pace
rust graph-algorithms pace treewidth tree-decomposition
Rust
•
Apache License 2.0
•0•2•0•2•Updated Sep 6, 2026Sep 6, 2026
vitri
Public
CNF preprocessing and vtree construction for circuit compilation and model counting
Rust
•
Apache License 2.0
•0•4•0•0•Updated Sep 4, 2026Sep 4, 2026
pyjuice
Public
Scalable training and inference for Probabilistic Circuits
Python
•
Apache License 2.0
•13•103•4•0•Updated Aug 17, 2026Aug 17, 2026
cnfs
Public
A curated collection of ~27,900 CNF instances for model counting, weighted/projected model counting, and knowledge compilation research
Python
•0•0•0•0•Updated Jul 31, 2026Jul 31, 2026
Alea.jl
Public
Julia
•
Apache License 2.0
•10•33•37•4•Updated Nov 8, 2025Nov 8, 2025
LogicCircuits.jl
Public
Logic Circuits from the Juice library
julia logic automated-reasoning
julia logic automated-reasoning logic-circuits logical-reasoning
Julia
•
Apache License 2.0
•4•51•5•1•Updated Jun 15, 2024Jun 15, 2024
ProbabilisticCircuits.jl
Public
Probabilistic Circuits from the Juice library
julia tractable-models probabilistic-inference
julia tractable-models probabilistic-inference probabilistic-circuits probabilistic-reasoning
Julia
•
Apache License 2.0
•10•107•11•0•Updated Jun 10, 2024Jun 10, 2024
ChowLiuTrees.jl
Public
Learning Chow-Liu Trees from data
Julia
•
Apache License 2.0
•1•5•2•0•Updated Jun 10, 2024Jun 10, 2024
DirectedAcyclicGraphs.jl
Public
Infrastructure for Directed Acyclic Graphs in Julia
julia
julia
Julia
•
Apache License 2.0
•2•10•0•0•Updated Jun 7, 2024Jun 7, 2024
PolyBranch.jl
Public
Polymorphic control flow in Julia
Julia
•
Apache License 2.0
•1•1•0•0•Updated Jun 13, 2022Jun 13, 2022
JuiceExamples
Public
Example notebooks and code to get familiar with the Juice library
Jupyter Notebook
•
Apache License 2.0
•0•2•0•0•Updated Mar 29, 2022Mar 29, 2022
PressedJuice.jl
Public
Lossless compression using Probabilistic Circuits
Julia
•1•16•0•0•Updated Mar 10, 2022Mar 10, 2022
Juice.jl
Public
The Juice package for circuits in artificial intelligence, both logic and probabilistic
artificial-intelligence
artificial-intelligence
Julia
•
Apache License 2.0
•0•12•0•1•Updated Mar 8, 2022Mar 8, 2022
CircuitModelZoo.jl
Public
CircuitModelZoo.jl
Julia
•
Apache License 2.0
•0•0•0•0•Updated Mar 1, 2022Mar 1, 2022
DiscriminativeCircuits.jl
Public
Discriminative Circuits from the Juice library
machine-learning julia
machine-learning julia
Julia
•
Apache License 2.0
•1•1•1•0•Updated Mar 1, 2022Mar 1, 2022

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Repositories list

15 repositories