PACE-challenge / TreewidthLinks
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:
- ☆10Updated 8 years ago
- ☆21Updated 8 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- Isomorphism testing and automorphisms of graphs☆65Updated 9 months ago
- ☆13Updated 3 years ago
- Exact optimization for cost function networks and additive graphical models☆57Updated this week
- Submission to PACE 17☆19Updated 5 months ago
- Tropical tensor network for spin glasses☆55Updated 6 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- The fastest Tropical number matrix multiplication on GPU☆10Updated 6 months ago
- Convex optimization modeling in Lean 4☆47Updated last year
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆18Updated last year
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 4 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- The Hackable Tensor Network library☆37Updated this week
- Tropical Numbers☆14Updated 3 months ago
- Implementation of the tree width algorithms.☆19Updated last month
- A Python package for efficient optimisation of real-space renormalization group transformations using Tensorflow.☆32Updated 4 months ago
- A multigraph extension of Graphs.jl☆31Updated 2 years ago
- Conic solver for optimization problems in quantum information theory☆19Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆78Updated last year
- A matlab implementation for sampling log-concave distributions with polytope constraints☆16Updated 8 months ago
- Category Theory Framework☆16Updated 2 weeks ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated 2 months ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆50Updated last year
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 4 years ago