Qiskit SAT Synthesis

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

• Alumni project (1)

  1. All the Alumni projects

  ---

  License Apache-2.0 Interface Python(1)

  1. All the projects with Python interface

  Category Transpiler plugin(1)

  1. All the projects in the Transpiler plugin category

  Labels high-level synthesis(1)

  1. All the projects labeled with high-level synthesis

• URLs

  ---

  Source code
  Documentation

Badge

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

style flat
Check out Badges section to learn more about how badges are used for status communicaiton or on how to change the badge style.

---

Checkups

Check up	Importance	What is failing	Discussion
[007] Interfaces have to exist	IMPORTANT	the entry member.interfaces does not exist and it is mandatory	discussion
[008] Category has to exist	IMPORTANT	member.category should exist in classifications.toml

---

Packages

• PyPI qiskit-sat-synthesis

  ---

  current release 0.0.2

  last month 71 last 180 days 215

  Qiskit Compatibility

  Requires	V1	V2	highest supported
  >=1.2.0			2.4.1