LICENSE
MANIFEST.in
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_1q_resynthesis.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/rewrite_rules.py
src/qsynth/CliffordSynthesis/run_planner.py
src/qsynth/CliffordSynthesis/synthesize_normal_forms.py
src/qsynth/CliffordSynthesis/unique_clifford_combinations.py
src/qsynth/CliffordSynthesis/Domains/costbased.pddl
src/qsynth/CliffordSynthesis/Domains/normalform.pddl
src/qsynth/CliffordSynthesis/Domains/rigidcnot.pddl
src/qsynth/CliffordSynthesis/Domains/simple.pddl
src/qsynth/CliffordSynthesis/Domains/unused_versions/cnot_optimal_simple.pddl
src/qsynth/CliffordSynthesis/Domains/unused_versions/gate_optimal-permute-init.pddl
src/qsynth/CliffordSynthesis/Domains/unused_versions/gate_optimal-permute.pddl
src/qsynth/CliffordSynthesis/Domains/unused_versions/gate_weighted.pddl
src/qsynth/CliffordSynthesis/encodings/extract_plan.py
src/qsynth/CliffordSynthesis/encodings/recover_phase.py
src/qsynth/CliffordSynthesis/encodings/simple_aux.py
src/qsynth/CnotSynthesis/__init__.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/Domains/lifted-map.pddl
src/qsynth/CnotSynthesis/Domains/lifted.pddl
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/README.txt
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/LayoutSynthesis/Domains/global-domain-noanc.pddl
src/qsynth/LayoutSynthesis/Domains/global-domain.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-relaxed-noanc.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-relaxed.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-strict-bridge-noanc.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-strict-noanc-exp.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-strict-noanc.pddl
src/qsynth/LayoutSynthesis/Domains/lifted-strict.pddl
src/qsynth/PeepholeSlicing/TODOs.txt
src/qsynth/PeepholeSlicing/circuit_slice.py
src/qsynth/PeepholeSlicing/circuit_utils.py
src/qsynth/PeepholeSlicing/tket_simplification.py
src/qsynth/ReachabilitySolver/__init__.py
src/qsynth/ReachabilitySolver/api/__init__.py
src/qsynth/ReachabilitySolver/api/encoding_spec.py
src/qsynth/ReachabilitySolver/api/solver_runner.py
src/qsynth/ReachabilitySolver/cli/__init__.py
src/qsynth/ReachabilitySolver/cli/run_reachability_solver.py
src/qsynth/ReachabilitySolver/encodings/__init__.py
src/qsynth/ReachabilitySolver/encodings/cnot_rz_synthesis/__init__.py
src/qsynth/ReachabilitySolver/encodings/cnot_rz_synthesis/cnot_rz_reachability_encoding.py
src/qsynth/ReachabilitySolver/encodings/cnot_rz_synthesis/cnot_rz_synthesis_reachability.py
src/qsynth/ReachabilitySolver/encodings/cnot_rz_synthesis/cnot_rz_utils.py
src/qsynth/ReachabilitySolver/encodings/cnot_synthesis/__init__.py
src/qsynth/ReachabilitySolver/encodings/cnot_synthesis/cnot_reachability_encoding.py
src/qsynth/ReachabilitySolver/encodings/cnot_synthesis/cnot_reachability_utils.py
src/qsynth/ReachabilitySolver/encodings/cnot_synthesis/cnot_synthesis_reachability.py
src/qsynth/ReachabilitySolver/encodings/layout_synthesis/__init__.py
src/qsynth/ReachabilitySolver/encodings/layout_synthesis/layout_reachability_encoding.py
src/qsynth/ReachabilitySolver/encodings/layout_synthesis/layout_reachability_synthesis.py
src/qsynth/ReachabilitySolver/encodings/layout_synthesis/layout_reachability_utils.py
src/qsynth/ReachabilitySolver/framework/__init__.py
src/qsynth/ReachabilitySolver/framework/reachability_encoding.py
src/qsynth/ReachabilitySolver/framework/reachability_solution.py
src/qsynth/ReachabilitySolver/framework/reachability_solver.py
src/qsynth/ReachabilitySolver/framework/variable.py
src/qsynth/ReachabilitySolver/solvers/__init__.py
src/qsynth/ReachabilitySolver/solvers/inc_solver.py
src/qsynth/ReachabilitySolver/solvers/ind_solvers.py
src/qsynth/ReachabilitySolver/solvers/k_step_solver.py
src/qsynth/ReachabilitySolver/solvers/minimize_action_var_solvers.py
src/qsynth/ReachabilitySolver/solvers/solver_extraction.py
src/qsynth/ReachabilitySolver/solvers/solver_utils.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/Synthesizers/__init__.py
src/qsynth/Synthesizers/clifford_synthesizer.py
src/qsynth/Synthesizers/cnot_rz_synthesizer.py
src/qsynth/Synthesizers/cnot_synthesizer.py
src/qsynth/Synthesizers/configs.py
src/qsynth/Synthesizers/disable_unused_qubits_synthesizer.py
src/qsynth/Synthesizers/synthesizer.py
src/qsynth/ThirdParty/equivalence_test_qiskit.py
src/qsynth/ThirdParty/qiskit_layout_mapping.py
src/qsynth/ThirdParty/requirements-tket.txt
src/qsynth/ThirdParty/tket_optimize.py
src/qsynth/Utilities/__init__.py
src/qsynth/Utilities/coupling_graph.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
src/qsynth/Utilities/test_slices.qasm
tests/test_utils.py