PACE-challenge / Treewidth
List of Treewidth solvers, instances, and tools
☆34Updated 2 years ago
Alternatives and similar repositories for Treewidth
Users that are interested in Treewidth are comparing it to the libraries listed below
Sorting:
- ☆21Updated 7 years ago
- ☆10Updated 7 years ago
- Isomorphism testing and automorphisms of graphs☆64Updated 8 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years ago
- Exact optimization for cost function networks and additive graphical models☆56Updated this week
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆53Updated last year
- Submission to PACE 17☆17Updated 4 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- Tropical tensor network for spin glasses☆55Updated 5 months ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- ☆13Updated 3 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆74Updated last month
- Conic solver for optimization problems in quantum information theory☆15Updated 3 weeks ago
- Quantum information theory in Lean 4☆14Updated last month
- A matlab implementation for sampling log-concave distributions with polytope constraints☆16Updated 7 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Probabilistic Circuits in Julia☆10Updated last year
- The Hackable Tensor Network library☆37Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated 2 weeks ago
- A Python package for efficient optimisation of real-space renormalization group transformations using Tensorflow.☆29Updated 2 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆66Updated this week
- A Small Quantum Intermediate Representation☆86Updated 3 months ago
- Coq library for reasoning about quantum programs☆39Updated 3 months ago
- A collection of problem specifications in Essence.☆10Updated last week
- ☆26Updated 4 months ago
- An interactive visualization of convex duality (Fenchel conjugate)☆20Updated 4 years ago
- The fastest tropical matrix multiplication in the world!☆29Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago