twalgor / twLinks
☆14Updated 3 years ago
Alternatives and similar repositories for tw
Users that are interested in tw are comparing it to the libraries listed below
Sorting:
- ☆22Updated 8 years ago
- List of Treewidth solvers, instances, and tools☆36Updated 3 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 2 months ago
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆19Updated last year
- Implementation of the tree width algorithms.☆20Updated 3 weeks ago
- Category Theory Framework☆16Updated last week
- Experimental port of ADEV to Julia☆11Updated last year
- ☆63Updated 8 months ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆16Updated 2 months ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated last week
- The fastest tropical matrix multiplication in the world!☆32Updated last year
- Sparse and Structured Tensor Compiler☆222Updated 2 weeks ago
- Reduction between computational hard problems.☆12Updated 3 weeks ago
- Probabilistic inference using contraction of tensor networks☆25Updated last month
- ☆11Updated 2 months ago
- Julia interface for the Blossom V perfect matching algorithm☆14Updated 4 years ago
- A Julia package for working with objects in fusion categories☆17Updated last week
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆14Updated last month
- A coding theory library for Julia.☆34Updated 3 weeks ago
- A Julia library for computing tree decompositions and chordal completions of graphs.☆28Updated last week
- Tropical Numbers☆15Updated 8 months ago
- ☆10Updated 8 years ago
- A Julia/JuMP Package for Optimal Quantum Circuit Design☆59Updated 2 months ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆55Updated 2 years ago
- ☆14Updated 10 months ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- Lattice reduction and other lattice tools in Julia☆49Updated 9 months ago
- ☆16Updated 3 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆50Updated last week
- An implementation of ZX-calculus in Julia☆51Updated this week