Qiskit SAT Synthesis

Synthesis plugins for Cliffords, linear functions, permutations, and more.

• Alumni project (1)

  1. The project used to be part of the Qiskit Ecosystem
     All the Alumni projects

  ---

  License Apache License 2.0 (1)

  1. All the projects with Apache License 2.0

  Category High-level synthesis plugin (1)

  1. All the projects in the High-level synthesis plugin category

• URLs

  ---

  Source code
  Documentation

• Badge

  ---

  style flat

  paste this in README.md

  [![Qiskit Ecosystem](https://qisk.it/e-2e6b95b1)](https://qisk.it/e)
  

• Checkups

  ---

  [007] - the entry member.interfaces does not exist and it is mandatory
  [008] - member.category should exist in classifications.toml