Alternatives and similar repositories for satmap

Users that are interested in satmap are comparing it to the libraries listed below

• meamy / feynman
  Quantum circuit analysis toolkit
  ☆89Updated this week
• Veri-Q / Benchmark
  ☆28Updated 9 months ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆156Updated this week
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆144Updated last year
• UCLA-VAST / DPQA
  ☆24Updated last year
• munich-quantum-toolkit / qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆131Updated last week
• UCLA-VAST / OLSQ
  Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)
  ☆21Updated 2 years ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆31Updated 2 years ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆106Updated last week
• munich-quantum-toolkit / core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆109Updated this week
• munich-quantum-toolkit / bench
  MQT Bench - An MQT Tool for Benchmarking Quantum Software Tools
  ☆109Updated this week
• qu-tan-um / OLSQ
  OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
  ☆25Updated 3 years ago
• yale-paragon / Helios_scalable_QEC
  FPGA implementation of distributed union find algorithm
  ☆11Updated 2 years ago
• munich-quantum-toolkit / qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆27Updated last week
• Quantinuum / guppylang
  Pythonic quantum-classical programming language
  ☆118Updated this week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• mkangquantum / quits
  QUITS: A modular Qldpc code circUIT Simulator
  ☆41Updated this week
• cda-tum / mqt-qao
  MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers
  ☆28Updated this week
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆26Updated 6 years ago
• yuewuo / fusion-blossom
  A fast minimum-weight perfect matching solver for quantum error correction
  ☆76Updated 6 months ago
• latticesurgery-com / lattice-surgery-compiler
  Lattice surgery quantum error correction compiler
  ☆79Updated last week
• seokhyung-lee / color-code-stim
  Python package for simulating & decoding color code circuits.
  ☆26Updated 5 months ago
• UCLA-VAST / ZAC
  ☆17Updated 8 months ago
• qecsim / qecsim
  qecsim is a Python 3 package for simulating quantum error correction using stabilizer codes.
  ☆90Updated 4 years ago
• teaguetomesh / quantum_circuit_generator
  Python package for automated generation of different types of quantum circuits
  ☆24Updated 4 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆104Updated 2 years ago
• munich-quantum-toolkit / syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆37Updated this week
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆90Updated 6 months ago
• QEC-pages / QDistRnd
  ☆26Updated last year