Alternatives and similar repositories for satmap:

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

• Veri-Q / Benchmark
  ☆25Updated 2 months ago
• cda-tum / mqt-qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆106Updated this week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆67Updated last week
• qu-tan-um / OLSQ
  OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
  ☆24Updated 2 years ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆29Updated last year
• cda-tum / mqt-bench
  MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
  ☆84Updated this week
• UCLA-VAST / OLSQ
  Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)
  ☆18Updated last year
• UCLA-VAST / DPQA
  ☆20Updated 9 months ago
• Kaustuvi / quantum-qubit-mapping
  Qubit Mapping for NISQ-Era Quantum Devices
  ☆12Updated 4 years ago
• jiaqileng / QHDOPT
  A software for nonlinear optimization with Quantum Hamiltonian Decent (QHD)
  ☆18Updated 2 months ago
• iic-jku / ibm_qx_mapping
  Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints
  ☆19Updated 4 years ago
• cda-tum / mqt-core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆67Updated this week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• cda-tum / mqt-qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆96Updated this week
• cda-tum / mqt-qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆20Updated last month
• cda-tum / mqt-ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆145Updated this week
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆101Updated last month
• gmeuli / caterpillar
  ☆23Updated 4 years ago
• coq-quantum / CoqQ
  ☆20Updated last month
• alexandrupaler / qxx
  ☆12Updated 3 years ago
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆24Updated 5 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆81Updated last month
• PicksPeng / SimuQ
  ☆32Updated 5 months ago
• cda-tum / mqt
  The Munich Quantum Toolkit
  ☆21Updated this week
• 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…
  ☆17Updated last year
• UCLA-VAST / QUEKO-benchmark
  ☆25Updated 3 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆67Updated this week
• weiT1993 / CutQC
  ☆27Updated 3 months ago
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆37Updated this week
• cda-tum / mqt-qao
  MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers
  ☆24Updated this week