[Submission]: SAT Circuits Synthesis Engine

[ohadlev77]

Github repo

https://github.com/ohadlev77/sat-circuits-engine

Description

A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.

Email

ohadlev77@gmail.com

Alternatives

No response

License

Apache License 2.0

Affiliations

No response

Tags

algorithms, circuit

[github-actions]

Submission PR #339 has been created with errors in tests ⚠️
See logs: https://github.com/qiskit-community/ecosystem/actions/runs/4384371988
Please follow minimal requirements for project or/and add ecosystem.json configuration in the root of the project
Read more here https://github.com/qiskit-community/ecosystem/blob/main/docs/project_overview.md#adding-project-to-the-ecosystem

[1ucian0]

Hello @ohadlev77 ! Here some follow up, in case you are interested:

• Join other Qiskit ecosystem developers in the Slack channel #qiskit-ecosystem (if you are not in the Qiskit workspace yet, you can sign up here: https://qisk.it/join-slack)
• We just started with a discussion about how are we going to organize the ecosystem space. It is very draft-y at the moment, but you can subscribe for notification here Qiskit Ecosystem RFCs#42 to participate in that discussion.
• If you would like to show sat-circuits-engine to the Qiskit community, let me know via slack or email and get a slot in the Qiskit Demoday agenda.

Welcome to the Qiskit Ecosystem!