Alternatives and similar repositories for satmap

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

• marcelwa / aigverse
  A Python library for working with logic networks, synthesis, and optimization.
  ☆22Updated this week
• Veri-Q / Benchmark
  ☆28Updated 2 months ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆30Updated 2 years ago
• munich-quantum-toolkit / qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆113Updated this week
• UCLA-VAST / DPQA
  ☆22Updated last year
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆77Updated last week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• munich-quantum-toolkit / qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆23Updated 3 weeks ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆148Updated this week
• munich-quantum-toolkit / bench
  MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
  ☆91Updated this week
• gmeuli / caterpillar
  ☆25Updated 4 years ago
• yale-paragon / Helios_scalable_QEC
  FPGA implementation of distributed union find algorithm
  ☆11Updated 2 years ago
• Kaustuvi / quantum-qubit-mapping
  Qubit Mapping for NISQ-Era Quantum Devices
  ☆15Updated 5 years ago
• UCLA-VAST / OLSQ
  Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)
  ☆21Updated last year
• Veriqc / TDD
  ☆9Updated last year
• munich-quantum-toolkit / .github
  The Munich Quantum Toolkit
  ☆22Updated last week
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆97Updated 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 2 years ago
• munich-quantum-toolkit / core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆78Updated this week
• munich-quantum-toolkit / syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆29Updated this week
• pnnl / nwqbench
  ☆13Updated 11 months ago
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆26Updated 5 years ago
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆114Updated 5 months ago
• qu-tan-um / OLSQ
  OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
  ☆25Updated 2 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆70Updated this week
• UCLA-VAST / QUEKO-benchmark
  ☆25Updated 3 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆21Updated 8 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆103Updated last year
• iic-jku / ibm_qx_mapping
  Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints
  ☆22Updated 4 years ago
• cda-tum / zx
  MQT ZX - A library for working with ZX-diagrams
  ☆17Updated 2 years ago