PACE-challenge / TreewidthLinks
List of Treewidth solvers, instances, and tools
☆35Updated 2 years ago
Alternatives and similar repositories for Treewidth
Users that are interested in Treewidth are comparing it to the libraries listed below
Sorting:
- ☆22Updated 8 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 3 months ago
- ☆10Updated 8 years ago
- Tropical tensor network for spin glasses☆59Updated 8 months ago
- Exact optimization for cost function networks and additive graphical models☆60Updated this week
- Convex optimization modeling in Lean 4☆54Updated last year
- The fastest Tropical number matrix multiplication on GPU☆10Updated last week
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 4 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆79Updated last year
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- The Hackable Quantum Tensor Network library☆39Updated this week
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- Compiler with automatic differentiation☆48Updated last year
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 7 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Category Theory Framework☆17Updated last week
- egraph <-> json☆14Updated 11 months ago
- ☆16Updated 3 years ago
- Semidefinite programming optimization solver☆96Updated 3 months ago
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year
- The Yao compiler project☆21Updated 3 years ago
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- Combinatorial optimization layers for machine learning pipelines☆126Updated last week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆167Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last month
- Exact real arithmetic in Julia☆13Updated 5 years ago
- Isomorphism testing and automorphisms of graphs☆70Updated 11 months ago