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
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 3 months ago
- ☆21Updated 8 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 7 months ago
- Convex optimization modeling in Lean 4☆51Updated last year
- Tropical tensor network for spin glasses☆58Updated 7 months ago
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- Exact optimization for cost function networks and additive graphical models☆58Updated last month
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Compiler with automatic differentiation☆48Updated last year
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- The Hackable Quantum Tensor Network library☆39Updated this week
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 4 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 6 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Benchmarks for differentiable programming across languages and domains.☆40Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated last year
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆40Updated last month
- Implementation of the tree width algorithms.☆19Updated 3 months ago
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆21Updated 5 years ago
- The Yao compiler project☆22Updated 3 years ago
- Isomorphism testing and automorphisms of graphs☆69Updated 11 months ago
- ☆8Updated 7 years ago
- Probabilistic inference using contraction of tensor networks☆25Updated 2 weeks ago
- Julia port of Michael Wimmer's implementation of efficient numerical computation of the Pfaffian☆11Updated 3 years ago
- Category Theory Framework☆16Updated last week
- ☆19Updated 2 months ago
- Conic solver for optimization problems in quantum information theory☆21Updated 3 months ago