twalgor / tw
☆13Updated 3 years ago
Alternatives and similar repositories for tw:
Users that are interested in tw are comparing it to the libraries listed below
- ☆18Updated 7 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Convex optimization modeling in Lean 4☆43Updated 8 months ago
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- A coding theory library for Julia.☆28Updated this week
- Submission to PACE 17☆16Updated last month
- A lazy clause generation constraint solver written in Rust.☆19Updated this week
- Reduction between computational hard problems.☆11Updated last month
- ☆10Updated 7 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆72Updated last week
- Algorithms that combine tensor network methods with automatic differentiation☆92Updated last year
- Quantum information theory in Lean 4☆12Updated last week
- The fastest Tropical number matrix multiplication on GPU☆10Updated 2 months ago
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆12Updated 2 weeks ago
- ☆20Updated last month
- Tools for the Simulation and Execution of Quantum Annealing Algorithms☆27Updated 3 months ago
- Tensor networks for quantum error correction.☆35Updated this week
- A Small Quantum Intermediate Representation☆81Updated last month
- Formalizing convex polyhedra in Coq☆22Updated 7 months ago
- Toolbox for quantum information, nonlocality, and entanglement☆19Updated this week
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 8 months ago
- Implementation of the tree width algorithms.☆17Updated last month
- Experimental port of ADEV to Julia☆11Updated last year
- LuaTeX extension for graphical tensor notation☆32Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆45Updated last year
- A Julia Ecosystem for Quadratic Unconstrained Binary Optimization☆36Updated 4 months ago
- Generic tensor networks for solution space properties.☆100Updated last month
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 4 months ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆54Updated 6 years ago