PACE-challenge / TreewidthLinks
List of Treewidth solvers, instances, and tools
☆36Updated 3 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
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- ☆22Updated 8 years ago
- Applications of reinforcement learning to Groebner basis computation.☆15Updated 4 years ago
- Convex optimization modeling in Lean 4☆61Updated last year
- Exact optimization for cost function networks and additive graphical models☆62Updated 3 weeks ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 4 months ago
- Tropical tensor network for spin glasses☆60Updated last year
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Library for construction, manipulation and evaluation of factorable functions☆12Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated 2 years ago
- Isomorphism testing and automorphisms of graphs☆71Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 4 years ago
- Model and represent Simplicial Complexes and their Cochains. Provides a clean interface to calculate Betti numbers and (discrete) Hodge d…☆18Updated 11 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆51Updated 3 weeks ago
- The fastest tropical matrix multiplication in the world!☆32Updated last month
- ☆16Updated 3 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- The Hackable Quantum Tensor Network library☆40Updated 4 months ago
- Building dynamical systems compositionally☆76Updated last week
- ☆37Updated last year
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- Semidefinite programming optimization solver☆98Updated 7 months ago
- Compiler with automatic differentiation☆49Updated 2 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆83Updated last month
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆61Updated this week
- Benchmarks for differentiable programming across languages and domains.☆49Updated last week
- 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia☆18Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- Conic solver for optimization problems in quantum information theory☆25Updated 8 months ago