qqq-wisc / satmap
☆12Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for satmap
- ☆20Updated last week
- OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing☆22Updated 2 years ago
- Quantum circuit analysis toolkit☆58Updated this week
- ☆17Updated 5 months ago
- A software for nonlinear optimization with Quantum Hamiltonian Decent (QHD)☆15Updated last month
- Qubit Mapping for NISQ-Era Quantum Devices☆12Updated 4 years ago
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆99Updated this week
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆142Updated this week
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆89Updated last year
- A quantum circuit optimizer based on sum-over-paths representations☆24Updated 5 years ago
- MQT Core - The Backbone of the Munich Quantum Toolkit☆61Updated this week
- MQT QCEC - A tool for Quantum Circuit Equivalence Checking☆95Updated this week
- ☆10Updated last year
- MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools☆81Updated this week
- Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)☆16Updated last year
- MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers☆21Updated last week
- MQT decision diagram package tailored to quantum computing☆29Updated last year
- ☆11Updated 2 years ago
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆98Updated last year
- An open-source design automation framework for Field-coupled Nanotechnologies☆64Updated this week
- ☆28Updated this week
- MQT Predictor - A MQT Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing☆64Updated this week
- ☆30Updated 2 months ago
- Reducing depth of circuits with operator backpropagation☆27Updated this week
- ☆22Updated 4 years ago
- MQT QECC - Tools for Quantum Error Correcting Codes☆114Updated this week
- A package for decoding Stim circuits using belief propagation with ordered statistics decoding (BP+OSD)☆18Updated 8 months ago
- Synthesizing arbitrary quantum computations☆65Updated last year
- A Small Quantum Intermediate Representation☆79Updated 2 months ago
- Python package for simulation and visualization of quantum error-correction on surface codes. The package provides the ability to inspect…☆60Updated last year