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
  ☆71Updated this week
• Veri-Q / Benchmark
  ☆26Updated 4 months ago
• gmeuli / caterpillar
  ☆24Updated 4 years ago
• qu-tan-um / OLSQ
  OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
  ☆25Updated 2 years ago
• cda-tum / mqt-qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆107Updated this week
• UCLA-VAST / DPQA
  ☆21Updated 10 months ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆68Updated this week
• cda-tum / mqt-ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆145Updated this week
• UCLA-VAST / OLSQ
  Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)
  ☆19Updated last year
• Kaustuvi / quantum-qubit-mapping
  Qubit Mapping for NISQ-Era Quantum Devices
  ☆14Updated 4 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆102Updated last year
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆30Updated last year
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆107Updated 2 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 2 months ago
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆25Updated 5 years ago
• cda-tum / mqt-qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆96Updated this week
• UCLA-VAST / QUEKO-benchmark
  ☆25Updated 3 years ago
• cda-tum / mqt-bench
  MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
  ☆86Updated this week
• cda-tum / mqt-qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆22Updated last week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• cda-tum / mqt-syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆28Updated this week
• cda-tum / mqt-core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆69Updated this week
• UCLA-VAST / ZAC
  ☆11Updated 4 months ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆17Updated 8 years ago
• munich-quantum-toolkit / .github
  The Munich Quantum Toolkit
  ☆22Updated this week
• jiaqileng / QHDOPT
  A software for nonlinear optimization with Quantum Hamiltonian Decent (QHD)
  ☆18Updated 3 months ago
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆41Updated this week
• alexandrupaler / qxx
  ☆12Updated 2 weeks ago
• iic-jku / ibm_qx_mapping
  Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints
  ☆20Updated 4 years ago
• Veriqc / TDD
  ☆9Updated last year