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
- ☆20Updated 7 years ago
- ☆10Updated 7 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- Submission to PACE 17☆17Updated 2 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆52Updated last year
- Isomorphism testing and automorphisms of graphs☆64Updated 6 months ago
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 3 months ago
- Tropical tensor network for spin glasses☆55Updated 3 months ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- The Hackable Tensor Network library☆32Updated last week
- ☆15Updated 2 years ago
- The fastest tropical matrix multiplication in the world!☆29Updated last year
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆26Updated last year
- Maximum independent sets and vertex covers of large sparse graphs.☆73Updated 4 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- ☆20Updated last month
- Implementation of the tree width algorithms.☆18Updated 3 months ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Updated 3 years ago
- A collection of problem specifications in Essence.☆10Updated 11 months ago
- A Julia library for computing tree decompositions and chordal completions of graphs.☆14Updated last week
- 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia☆17Updated 3 weeks ago
- ☆13Updated 3 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years ago
- A Python package for efficient optimisation of real-space renormalization group transformations using Tensorflow.☆28Updated last month
- Tensor network contraction order optimizers for OMEinsum☆29Updated 3 weeks ago
- Conic solver for optimization problems in quantum information theory☆14Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago