twalgor / twLinks
☆13Updated 3 years ago
Alternatives and similar repositories for tw
Users that are interested in tw are comparing it to the libraries listed below
Sorting:
- ☆21Updated 8 years ago
- List of Treewidth solvers, instances, and tools☆35Updated 2 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆81Updated this week
- ☆10Updated 8 years ago
- Submission to PACE 17☆17Updated 4 months ago
- Category Theory Framework☆16Updated last week
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆14Updated last week
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆50Updated last year
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆18Updated last year
- Implementation of the tree width algorithms.☆18Updated 3 weeks ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Quantum information theory in Lean 4☆17Updated this week
- Kernel Intermediate Representation Infrastructure☆20Updated this week
- The Hackable Tensor Network library☆37Updated 3 weeks ago
- An implementation of ZX-calculus in Julia☆51Updated 7 months ago
- Generic tensor networks for solution space properties.☆105Updated 2 months ago
- A Julia library for computing tree decompositions and chordal completions of graphs.☆22Updated this week
- A coding theory library for Julia.☆31Updated 3 weeks ago
- A Julia Ecosystem for Quadratic Unconstrained Binary Optimization☆37Updated 8 months ago
- A randomized algorithm for the compressed MPS MPO product☆16Updated last month
- ☆26Updated 5 months ago
- Algorithms that combine tensor network methods with automatic differentiation☆92Updated last year
- Reduction between computational hard problems.☆11Updated this week
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆55Updated 7 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- State-of-the-art in reversible logic synthesis☆19Updated 8 years ago
- A fast, flexible package for simulating the Quantum Alternating Operator Ansatz☆12Updated 11 months ago
- A Julia/JuMP Package for Optimal Quantum Circuit Design☆58Updated 3 weeks ago
- Quantum circuit analysis toolkit☆75Updated last week
- Tensor networks for quantum error correction.☆45Updated last week