LICENSE
README.md
pyproject.toml
requirements.txt
setup.cfg
src/Q_Synth.egg-info/PKG-INFO
src/Q_Synth.egg-info/SOURCES.txt
src/Q_Synth.egg-info/dependency_links.txt
src/Q_Synth.egg-info/requires.txt
src/Q_Synth.egg-info/top_level.txt
src/qsynth/__init__.py
src/qsynth/api.py
src/qsynth/layout_config.py
src/qsynth/layout_synthesis_wrapper.py
src/qsynth/peephole_synthesis.py
src/qsynth/CliffordSynthesis/circuit_utils.py
src/qsynth/CliffordSynthesis/clifford_synthesis_planning.py
src/qsynth/CliffordSynthesis/clifford_synthesis_sat.py
src/qsynth/CliffordSynthesis/generate_pddl_specification.py
src/qsynth/CliffordSynthesis/options.py
src/qsynth/CliffordSynthesis/run_planner.py
src/qsynth/CliffordSynthesis/unique_clifford_combinations.py
src/qsynth/CliffordSynthesis/encodings/extract_plan.py
src/qsynth/CliffordSynthesis/encodings/recover_phase.py
src/qsynth/CliffordSynthesis/encodings/simple_aux.py
src/qsynth/CnotSynthesis/cnot_synthesis.py
src/qsynth/CnotSynthesis/cnot_synthesis_sat_qbf.py
src/qsynth/CnotSynthesis/generate_pddl_specification.py
src/qsynth/CnotSynthesis/options.py
src/qsynth/CnotSynthesis/run_planner.py
src/qsynth/CnotSynthesis/circuit_utils/constraints.py
src/qsynth/CnotSynthesis/circuit_utils/variables_dispatcher.py
src/qsynth/CnotSynthesis/encodings/extract_plan.py
src/qsynth/CnotSynthesis/encodings/generate_initial_swaps.py
src/qsynth/CnotSynthesis/encodings/grounded_sat.py
src/qsynth/CnotSynthesis/encodings/lifted_qbf.py
src/qsynth/DepthOptimal/__init__.py
src/qsynth/DepthOptimal/configs.py
src/qsynth/DepthOptimal/depthoptimal.py
src/qsynth/DepthOptimal/platform.py
src/qsynth/DepthOptimal/synthesizers/planning/cond_cost_based_optimal_planning.py
src/qsynth/DepthOptimal/synthesizers/planning/cost_based_optimal_planning.py
src/qsynth/DepthOptimal/synthesizers/planning/local_clock_incremental_planning.py
src/qsynth/DepthOptimal/synthesizers/planning/solvers.py
src/qsynth/DepthOptimal/synthesizers/planning/synthesizer.py
src/qsynth/DepthOptimal/synthesizers/sat/phys.py
src/qsynth/DepthOptimal/synthesizers/sat/synthesizer.py
src/qsynth/DepthOptimal/util/circuits.py
src/qsynth/DepthOptimal/util/logger.py
src/qsynth/DepthOptimal/util/output_checker.py
src/qsynth/DepthOptimal/util/pddl.py
src/qsynth/DepthOptimal/util/sat.py
src/qsynth/DepthOptimal/util/sat_extension.py
src/qsynth/DepthOptimal/util/time_limit.py
src/qsynth/LayoutSynthesis/__init__.py
src/qsynth/LayoutSynthesis/architecture.py
src/qsynth/LayoutSynthesis/circuit_extraction_global.py
src/qsynth/LayoutSynthesis/circuit_extraction_lifted.py
src/qsynth/LayoutSynthesis/circuit_extraction_local.py
src/qsynth/LayoutSynthesis/circuit_extraction_sat.py
src/qsynth/LayoutSynthesis/circuit_utils.py
src/qsynth/LayoutSynthesis/generate_global_pddl.py
src/qsynth/LayoutSynthesis/generate_lifted.py
src/qsynth/LayoutSynthesis/generate_local.py
src/qsynth/LayoutSynthesis/layout_synthesis.py
src/qsynth/LayoutSynthesis/mapped_unmapped.py
src/qsynth/LayoutSynthesis/run_planner.py
src/qsynth/LayoutSynthesis/sat_block.py
src/qsynth/LayoutSynthesis/sat_encoding_bridges.py
src/qsynth/LayoutSynthesis/sat_encoding_twoway.py
src/qsynth/LayoutSynthesis/sat_utils.py
src/qsynth/LayoutSynthesis/testing_mapped_circuit.py
src/qsynth/LayoutSynthesis/variable_dispatcher.py
src/qsynth/PeepholeSlicing/circuit_slice.py
src/qsynth/PeepholeSlicing/circuit_utils.py
src/qsynth/PeepholeSlicing/tket_simplification.py
src/qsynth/Subarchitectures/__init__.py
src/qsynth/Subarchitectures/graph_hashing.py
src/qsynth/Subarchitectures/subarchitecture_synthesis.py
src/qsynth/Subarchitectures/subarchitecture_utils.py
src/qsynth/Subarchitectures/subarchitectures.py
src/qsynth/Swapple/__init__.py
src/qsynth/Swapple/swapple_planning.py
src/qsynth/Swapple/swapple_z3.py
src/qsynth/Swapple/swapple_z3_wrapper.py
src/qsynth/Swapple/z3_pysat.py
src/qsynth/ThirdParty/equivalence_test_qiskit.py
src/qsynth/ThirdParty/qiskit_layout_mapping.py
src/qsynth/ThirdParty/tket_optimize.py
src/qsynth/Utilities/__init__.py
src/qsynth/Utilities/print_utils.py
src/qsynth/Utilities/result.py
src/qsynth/Utilities/rewrite_single_gates.py
src/qsynth/Utilities/run_pysat_solver.py
src/qsynth/Utilities/run_solvers.py
src/qsynth/Utilities/slices.py
tests/test_utils.py