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:
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 5 months ago
- ☆10Updated 8 years ago
- ☆22Updated 8 years ago
- Exact optimization for cost function networks and additive graphical models☆61Updated this week
- Convex optimization modeling in Lean 4☆55Updated last year
- Applications of reinforcement learning to Groebner basis computation.☆14Updated 4 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Model and represent Simplicial Complexes and their Cochains. Provides a clean interface to calculate Betti numbers and (discrete) Hodge d…☆18Updated 9 months ago
- Tropical tensor network for spin glasses☆59Updated 10 months ago
- Isomorphism testing and automorphisms of graphs☆70Updated last year
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆50Updated this week
- Semidefinite programming optimization solver☆96Updated 5 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆83Updated last month
- Combinatorial optimization layers for machine learning pipelines☆128Updated 2 months ago
- Library for construction, manipulation and evaluation of factorable functions☆11Updated 3 weeks ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- The fastest tropical matrix multiplication in the world!☆32Updated last year
- Julia interface to Z3☆71Updated 2 months ago
- The Hackable Quantum Tensor Network library☆40Updated 2 months ago
- Build Petri net models compositionally☆87Updated 2 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 2 months ago
- Implementation of the tree width algorithms.☆20Updated 3 weeks ago
- Building dynamical systems compositionally☆73Updated this week
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- Category Theory Framework☆16Updated last week
- Probabilistic Circuits in Julia☆10Updated last year
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆55Updated 7 years ago