[Submission]: qiskit-sat-synthesis

[alexanderivrii]

Project name

Qiskit Sat Synthesis

Github repo

https://github.com/qiskit-community/qiskit-sat-synthesis

Description

Qiskit synthesis plugins for Cliffords, linear functions, permutations, and more.

Email

alexi@il.ibm.com

Alternatives

There are other quantum circuit compilation tools that use SAT-solving to search for optimum circuits, for instance: MQT QMAP (https://github.com/cda-tum/mqt-qmap), and tweedledum (https://github.com/boschmitt/tweedledum).

License

Apache License 2.0

Affiliations

IBM

Group

transpiler_plugin

Labels

Transpiler plugin

Documentation

https://github.com/qiskit-community/qiskit-sat-synthesis

Website

https://github.com/qiskit-community/qiskit-sat-synthesis

Reference paper

No response

[github-actions[bot]]

Hello @alexanderivrii! You joined the Qiskit ecosystem recently, here are some follow up actions you can take to make the most of the program:

:speech_balloon: Join other Qiskit ecosystem developers in the Slack channel #qiskit-ecosystem (if you are not in the Qiskit workspace yet, sign up)

:mega: Showcase your project by

• Writing a blog for your project: reach out to Abby Mitchell via Slack or email if you'd like to be featured on the Qiskit blog
• Presenting at a Qiskit Demoday: reach out to Luciano Bello via Slack or email to request a slot to demo your project)

:stethoscope: Get support integrating with Qiskit, including updating your project to Qiskit 1.0, using our documentation theme, and integrating with the transpiler plugin system. Reach out to Frank Harkins via email for any questions or suggestions about working with Qiskit.

It's great having you as a part of the ecosystem!