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:
- ☆22Updated 8 years ago
- ☆10Updated 8 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 4 months ago
- Convex optimization modeling in Lean 4☆54Updated last year
- The fastest Tropical number matrix multiplication on GPU☆10Updated 3 weeks ago
- Exact optimization for cost function networks and additive graphical models☆60Updated 3 weeks ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 7 months ago
- Tropical tensor network for spin glasses☆59Updated 9 months ago
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- Probabilistic inference using contraction of tensor networks☆25Updated last week
- Category Theory Framework☆16Updated 2 weeks ago
- The Hackable Quantum Tensor Network library☆40Updated 3 weeks ago
- 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia☆18Updated 5 months ago
- Applications of reinforcement learning to Groebner basis computation.☆13Updated 4 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆49Updated 2 weeks ago
- Combinatorial optimization layers for machine learning pipelines☆127Updated 3 weeks ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆79Updated last year
- Isomorphism testing and automorphisms of graphs☆70Updated last year
- Implementation of the tree width algorithms.☆20Updated last month
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- A framework for composing and simulating multiphysics systems☆72Updated 2 weeks ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- Julia bindings to the SAT solver picosat☆31Updated last year
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- Building dynamical systems compositionally☆73Updated this week