twalgor / tw
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for tw
- ☆18Updated 7 years ago
- List of Treewidth solvers, instances, and tools☆33Updated 2 years ago
- ☆10Updated 7 years ago
- Reduction between computational hard problems.☆11Updated this week
- ☆16Updated 3 weeks ago
- A coding theory library for Julia.☆26Updated this week
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 2 years ago
- Submission to PACE 17☆16Updated 7 years ago
- Tensor networks for quantum error correction.☆33Updated this week
- ☆13Updated 3 months ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆11Updated 2 years ago
- The fastest Tropical number matrix multiplication on GPU☆9Updated 8 months ago
- An implementation of ZX-calculus in Julia☆48Updated 3 weeks ago
- Sparse and Structured Tensor Compiler☆167Updated this week
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- A lazy clause generation constraint solver written in Rust.☆17Updated this week
- Generic tensor networks for solution space properties.☆97Updated 4 months ago
- Implementation of the tree width algorithms.☆15Updated this week
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 5 years ago
- 🟦 JuMP ToQUBO Automatic Reformulation☆27Updated last month
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆48Updated last year
- A Julia/JuMP Package for Optimal Quantum Circuit Design☆57Updated 4 months ago
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆50Updated 6 years ago
- LuaTeX extension for graphical tensor notation☆34Updated 2 years ago
- Experimental port of ADEV to Julia☆11Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- Einsum Expressions in Julia☆10Updated 3 months ago
- Tropical tensor network for spin glasses☆54Updated 2 years ago
- Composable Tensor Network library in Julia☆27Updated this week