Add qiskit-sat-synthesis to list. (#684)

Add qiskit-sat-synthesis to list. --- Closes #683 --------- Co-authored-by: alexanderivrii <[email protected]> Co-authored-by: Frank Harkins <[email protected]>
Qiskit · Mar 21, 2024 · 1f253c8 · 1f253c8
1 parent a30c249
commit 1f253c8
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ecosystem/resources/members/qiskit-sat-synthesis.toml b/ecosystem/resources/members/qiskit-sat-synthesis.toml
@@ -0,0 +1,10 @@
+name = "Qiskit SAT Synthesis"
+url = "https://github.com/qiskit-community/qiskit-sat-synthesis"
+description = "Synthesis plugins for Cliffords, linear functions, permutations, and more"
+licence = "Apache License 2.0"
+contact_info = "[email protected]"
+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)."
+affiliations = "IBM"
+labels = []
+group = "transpiler_plugin"
+website = "https://github.com/qiskit-community/qiskit-sat-synthesis"