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
- ☆10Updated 7 years ago
- ☆18Updated 7 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆45Updated last year
- Isomorphism testing and automorphisms of graphs☆62Updated 5 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆51Updated last year
- The fastest Tropical number matrix multiplication on GPU☆10Updated 2 months ago
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- Tropical tensor network for spin glasses☆55Updated 2 months ago
- Submission to PACE 17☆17Updated last month
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years 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 Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- ☆13Updated 3 years ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆75Updated 11 months ago
- Convex optimization modeling in Lean 4☆43Updated 9 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- Combinatorial optimization layers for machine learning pipelines☆117Updated 2 months ago
- Entry to model counting competition 2021.☆20Updated 8 months ago
- The first scalable probabilistic exact counter☆28Updated this week
- Management of Benchmark Instances and Instance Attributes☆18Updated 4 months ago
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- ☆15Updated 2 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆74Updated last week
- The Hackable Tensor Network library☆32Updated this week
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆17Updated last month
- Implementation of the tree width algorithms.☆17Updated 2 months ago
- Combinatorial Matrix Recognition☆9Updated 2 weeks ago
- Category Theory Framework☆12Updated last week