twalgor / tw
☆13Updated 2 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
- A coding theory library for Julia.☆26Updated last month
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- ☆10Updated 7 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated 3 months ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆74Updated 10 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆72Updated this week
- Convex optimization modeling in Lean 4☆42Updated 7 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
- ☆12Updated 11 months ago
- Quantum information theory in Lean 4☆13Updated this week
- Reduction between computational hard problems.☆11Updated last week
- A lazy clause generation constraint solver written in Rust.☆18Updated this week
- Management of Benchmark Instances and Instance Attributes☆17Updated 2 months ago
- Submission to PACE 17☆16Updated last week
- ☆19Updated 3 weeks ago
- A semidefinite program solver for the conformal bootstrap.☆59Updated 3 weeks ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆48Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Composable Tensor Network library in Julia☆29Updated this week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆40Updated last year
- Formalizing convex polyhedra in Coq☆22Updated 6 months ago
- ☆17Updated 7 months ago
- ☆30Updated 2 weeks ago
- Formalized quantum computing in Lean theorem prover☆23Updated 3 years ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆43Updated 3 weeks ago
- Exact optimization for cost function networks and additive graphical models☆52Updated this week
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆11Updated this week
- Julia interface for the Blossom V perfect matching algorithm☆14Updated 4 years ago