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
  ☆29Updated 10 months ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆31Updated 2 years ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆157Updated this week
• munich-quantum-toolkit / qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆130Updated this week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated 2 weeks ago
• munich-quantum-toolkit / syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆37Updated this week
• munich-quantum-toolkit / qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆27Updated this week
• munich-quantum-toolkit / bench
  MQT Bench - An MQT Tool for Benchmarking Quantum Software Tools
  ☆110Updated this week
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆106Updated this week
• latticesurgery-com / lattice-surgery-compiler
  Lattice surgery quantum error correction compiler
  ☆81Updated 3 weeks ago
• cda-tum / mqt-qao
  MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers
  ☆28Updated 2 weeks ago
• cda-tum / mnt-bestagon-library
  Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…
  ☆18Updated 2 years ago
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆148Updated last year
• Interlin-q / diskit
  Distributed QC for Qiskit
  ☆14Updated 2 years ago
• munich-quantum-toolkit / .github
  The Munich Quantum Toolkit
  ☆29Updated this week
• cda-tum / zx
  MQT ZX - A library for working with ZX-diagrams
  ☆18Updated 2 years ago
• cda-tum / mqt-dasqa
  MQT DASQA - Designer for Superconducting Quantum Architectures
  ☆20Updated 10 months ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• UCLA-VAST / DPQA
  ☆24Updated last year
• HaoTy / trasyn
  Gate synthesis for early fault-tolerant quantum computing
  ☆13Updated 2 months ago
• cda-tum / mqt-qudit-compilation
  ☆18Updated last year
• munich-quantum-toolkit / core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆109Updated this week
• gongaa / SlidingWindowDecoder
  Sliding window with Guided Decimation Guessing Decoding for QLDPC codes.
  ☆38Updated 8 months ago
• yale-paragon / Helios_scalable_QEC
  FPGA implementation of distributed union find algorithm
  ☆12Updated 2 years ago
• mkangquantum / quits
  QUITS: A modular Qldpc code circUIT Simulator
  ☆42Updated last week
• irfansha / Q-Synth
  Tools for quantum circuits synthesis, optimization and others.
  ☆21Updated 2 months ago
• UCLA-VAST / OLSQ
  Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)
  ☆21Updated 2 years ago
• teaguetomesh / quantum_circuit_generator
  Python package for automated generation of different types of quantum circuits
  ☆24Updated 4 years ago
• Kaustuvi / quantum-qubit-mapping
  Qubit Mapping for NISQ-Era Quantum Devices
  ☆19Updated 5 years ago