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:
- ☆10Updated 8 years ago
- ☆22Updated 8 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 5 months ago
- Exact optimization for cost function networks and additive graphical models☆60Updated last week
- Tropical tensor network for spin glasses☆59Updated 9 months ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated last month
- Library for construction, manipulation and evaluation of factorable functions☆10Updated this week
- The Hackable Quantum Tensor Network library☆40Updated last month
- Category Theory Framework☆16Updated last week
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Convex optimization modeling in Lean 4☆54Updated last year
- The fastest tropical matrix multiplication in the world!☆31Updated 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
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆79Updated last year
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- Implementation of the tree width algorithms.☆20Updated this week
- Model and represent Simplicial Complexes and their Cochains. Provides a clean interface to calculate Betti numbers and (discrete) Hodge d…☆18Updated 8 months ago
- ☆16Updated 3 years ago
- The Yao compiler project☆21Updated 3 years ago
- A Julia package for n-dimensional sparse tensors.☆27Updated 3 years ago
- ☆23Updated last year
- Isomorphism testing and automorphisms of graphs☆70Updated last year
- ☆38Updated last month
- Probabilistic inference using contraction of tensor networks☆25Updated last month
- A Python package for efficient optimisation of real-space renormalization group transformations using Tensorflow.☆32Updated 7 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Algorithms that combine tensor network methods with automatic differentiation☆91Updated 2 years ago
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 6 years ago
- Generic tensor networks for solution space properties.☆112Updated 2 months ago