Qiskit SAT Synthesis

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

• Qiskit Ecosystem Member (1)

  1. All the regular Members

  ---

  production-ready(1)

  1. All the production-ready 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	Days left	Discussion
[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	140
[G15] Have a description on the GitHub repository	NICE-TO-HAVE	The GitHub repository has no description, the one line that introduces the project on its repository page and in every GitHub listing it appears in	∞	membership predates the checkup

---

Packages

PyPI package	Release	Last month	Last 180 days
qiskit-sat-synthesis	0.0.2	13	216

---

Qiskit requirements

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