LICENSE.txt
MANIFEST.in
README.md
requirements.txt
setup.py
qiskit_sat_synthesis/__init__.py
qiskit_sat_synthesis/qiskit_synthesis_plugins.py
qiskit_sat_synthesis/sat_encoder.py
qiskit_sat_synthesis/sat_problem.py
qiskit_sat_synthesis/sat_problem_clifford.py
qiskit_sat_synthesis/sat_problem_constraints.py
qiskit_sat_synthesis/sat_problem_linear.py
qiskit_sat_synthesis/sat_problem_linear_qudits.py
qiskit_sat_synthesis/sat_problem_permutation.py
qiskit_sat_synthesis/sat_problem_superposed.py
qiskit_sat_synthesis/sat_solver.py
qiskit_sat_synthesis/synthesize.py
qiskit_sat_synthesis/synthesize_clifford.py
qiskit_sat_synthesis/synthesize_linear.py
qiskit_sat_synthesis/synthesize_linear_qudits.py
qiskit_sat_synthesis/synthesize_permutation.py
qiskit_sat_synthesis/synthesize_superposed.py
qiskit_sat_synthesis/utils.py
qiskit_sat_synthesis.egg-info/PKG-INFO
qiskit_sat_synthesis.egg-info/SOURCES.txt
qiskit_sat_synthesis.egg-info/dependency_links.txt
qiskit_sat_synthesis.egg-info/entry_points.txt
qiskit_sat_synthesis.egg-info/requires.txt
qiskit_sat_synthesis.egg-info/top_level.txt
tests/test_clifford_synthesis.py
tests/test_qiskit_synthesis_plugins.py