PACE-challenge / TreewidthLinks
List of Treewidth solvers, instances, and tools
☆36Updated 3 years ago
Alternatives and similar repositories for Treewidth
Users that are interested in Treewidth are comparing it to the libraries listed below
Sorting:
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- ☆10Updated 8 years ago
- ☆22Updated 8 years ago
- Tropical tensor network for spin glasses☆60Updated last year
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- Exact optimization for cost function networks and additive graphical models☆62Updated last week
- The Hackable Quantum Tensor Network library☆40Updated 5 months ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 4 years ago
- The fastest tropical matrix multiplication in the world!☆32Updated last month
- A tool for weighted model counting through tensor network contraction☆21Updated 4 years ago
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆22Updated 6 years ago
- Category Theory Framework☆17Updated this week
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆57Updated 7 years ago
- Applications of reinforcement learning to Groebner basis computation.☆15Updated 4 years ago
- Probabilistic inference using contraction of tensor networks☆25Updated 4 months ago
- Library for construction, manipulation and evaluation of factorable functions☆12Updated last month
- Benchmarks for differentiable programming across languages and domains.☆53Updated this week
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆83Updated 2 months ago
- Convex optimization modeling in Lean 4☆66Updated last year
- ☆28Updated last year
- ☆16Updated 3 years ago
- Implementation of the tree width algorithms.☆20Updated 2 months ago
- Exact real arithmetic in Julia☆13Updated 5 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- The Yao compiler project☆21Updated 4 years ago
- Python implementation of the monster group☆57Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated 2 years ago
- Probabilistic Circuits in Julia☆10Updated 2 years ago
- A differentiable parametrization of a group of unitary matrices.☆14Updated 4 years ago
- A Small Quantum Intermediate Representation☆90Updated 6 months ago