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
- ☆18Updated 7 years ago
- ☆10Updated 7 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated last month
- Convex optimization modeling in Lean 4☆43Updated 8 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆50Updated last year
- Exact optimization for cost function networks and additive graphical models☆53Updated last week
- Submission to PACE 17☆16Updated 3 weeks ago
- Tropical tensor network for spin glasses☆55Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆40Updated last year
- ☆15Updated 2 years ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- The fastest tropical matrix multiplication in the world!☆29Updated last year
- Experimental port of ADEV to Julia☆11Updated last year
- 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia☆17Updated 3 months ago
- ☆13Updated 2 years ago
- Implementation of the tree width algorithms.☆16Updated last month
- ☆31Updated 2 months ago
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆12Updated 3 weeks ago
- ☆21Updated last month
- Category Theory Framework☆11Updated this week
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- Isomorphism testing and automorphisms of graphs☆58Updated 4 months ago
- Probabilistic inference using contraction of tensor networks☆18Updated 6 months ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆17Updated 2 years ago
- Einsum Expressions in Julia☆10Updated last week
- Probabilistic Circuits in Julia☆9Updated last year
- Composable Tensor Network library in Julia☆29Updated this week
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago