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 communication or on how to change the badge style.

---

Checkups

Check up	Importance	What is failing
[Q03] Have a cap on the major version for the qiskit dependency	RECOMMENDATION	Python package qiskit-sat-synthesis declared itself compatible to a not-yet-released major version of Qiskit

---

Packages

PyPI package	Release	Last month	Last 180 days
qiskit-sat-synthesis	0.0.2	71	215

---

Qiskit requirements

Declared in	Requires	V1	V2	Highest supported
PyPI qiskit-sat-synthesis	>=1.2.0			2.4.1