├── .clang-format ├── .clang-tidy ├── .dockerignore ├── .gitattributes ├── .github ├── pull_request_template.md └── workflows │ ├── clang-test-macos.yml │ ├── clang-test-ubuntu.yml │ ├── gcc-test.yml │ └── lint.yml ├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── Makefile ├── README.md ├── _typos.toml ├── benchmark ├── SABRE │ ├── OLSQ │ │ ├── 16QBT_05CYC_TFL_0.qasm │ │ ├── 16QBT_10CYC_TFL_3.qasm │ │ ├── 16QBT_15CYC_TFL_1.qasm │ │ ├── 4gt13_92.qasm │ │ ├── 4mod5-v1_22.qasm │ │ ├── adder.qasm │ │ ├── barenco_tof_4_after_heavy.qasm │ │ ├── barenco_tof_5_after_heavy.qasm │ │ ├── mod5mils_65.qasm │ │ ├── mod_mult_55_after_heavy.qasm │ │ ├── or.qasm │ │ ├── qaoa5.qasm │ │ ├── rc_adder_6_after_heavy.qasm │ │ ├── tof_4_after_heavy.qasm │ │ ├── tof_5_after_heavy.qasm │ │ └── vbe_adder_3_after_heavy.qasm │ ├── large │ │ ├── 9symml_195.qasm │ │ ├── adr4_197.qasm │ │ ├── cm42a_207.qasm │ │ ├── cm82a_208.qasm │ │ ├── cm85a_209.qasm │ │ ├── cycle10_2_110.qasm │ │ ├── dc2_222.qasm │ │ ├── dist_223.qasm │ │ ├── ham15_107.qasm │ │ ├── hwb8_113.qasm │ │ ├── inc_237.qasm │ │ ├── life_238.qasm │ │ ├── mlp4_245.qasm │ │ ├── pm1_249.qasm │ │ ├── qft_10.qasm │ │ ├── qft_n20.qasm │ │ ├── rd53_251.qasm │ │ ├── rd73_252.qasm │ │ ├── rd84_253.qasm │ │ ├── root_255.qasm │ │ ├── sqn_258.qasm │ │ ├── sqrt8_260.qasm │ │ ├── square_root_7.qasm │ │ ├── urf1_149.qasm │ │ ├── urf1_278.qasm │ │ ├── urf2_277.qasm │ │ └── z4_268.qasm │ └── small │ │ ├── 3_17_13.qasm │ │ ├── 4gt11_82.qasm │ │ ├── 4gt11_84.qasm │ │ ├── 4gt13_92.qasm │ │ ├── 4mod5-v0_19.qasm │ │ ├── 4mod5-v0_20.qasm │ │ ├── 4mod5-v1_22.qasm │ │ ├── 4mod5-v1_24.qasm │ │ ├── alu-v0_27.qasm │ │ ├── alu-v1_28.qasm │ │ ├── alu-v1_29.qasm │ │ ├── alu-v2_33.qasm │ │ ├── alu-v3_34.qasm │ │ ├── alu-v3_35.qasm │ │ ├── alu-v4_37.qasm │ │ ├── ex-1_166.qasm │ │ ├── ham3_102.qasm │ │ ├── miller_11.qasm │ │ ├── mod5d1_63.qasm │ │ ├── mod5mils_65.qasm │ │ ├── qft_4.qasm │ │ ├── rd32-v0_66.qasm │ │ └── rd32-v1_68.qasm ├── extraction │ ├── clean_frontier.zx │ └── rm_gadget.zx ├── qasm │ ├── a(b+c).qasm │ ├── ab+ac.qasm │ ├── achilles.qasm │ ├── hada1.qasm │ ├── id2.qasm │ ├── qc2ts │ │ ├── cnot.qasm │ │ ├── control_h.qasm │ │ ├── control_z.qasm │ │ ├── swap.qasm │ │ ├── test.qasm │ │ ├── toffoli.qasm │ │ ├── toffoli_dec.qasm │ │ └── toffoli_qiskit.qasm │ ├── spidernest_4_0.qasm │ ├── test.qasm │ ├── to_graph1.qasm │ ├── to_graph2.qasm │ ├── tof2.qasm │ ├── tof2_dec.qasm │ ├── tof2tof2.qasm │ └── tof3.qasm ├── qc │ ├── Adder32_pyzx.qc │ ├── Other │ │ ├── cycle_17_3.qc │ │ ├── grover_5.qc │ │ ├── grover_5_tpar.qc │ │ ├── ham15-high.qc │ │ ├── ham15-low.qc │ │ ├── ham15-med.qc │ │ ├── hwb6.qc │ │ ├── nth_prime6.tfc │ │ └── qft_4.qc │ ├── cycle_17_3.qc │ ├── grover_5.qc │ ├── hwb6.qc │ ├── optimized │ │ ├── Adder16_pyzx.qc │ │ ├── Adder32_pyzx.qc │ │ ├── Adder64_pyzx.qc │ │ ├── Adder8_pyzx.qc │ │ ├── QFT16_pyzx.qc │ │ ├── QFT32_pyzx.qc │ │ ├── QFT8_pyzx.qc │ │ ├── QFTAdd16_pyzx.qc │ │ ├── QFTAdd32_pyzx.qc │ │ ├── QFTAdd8_pyzx.qc │ │ ├── adder_8_pyzx.qc │ │ ├── barenco_tof_10_pyzx.qc │ │ ├── barenco_tof_3_pyzx.qc │ │ ├── barenco_tof_4_pyzx.qc │ │ ├── barenco_tof_5_pyzx.qc │ │ ├── csla_mux_3_original_pyzx.qc │ │ ├── csum_mux_9_corrected_pyzx.qc │ │ ├── gf2^10_mult_pyzx.qc │ │ ├── gf2^16_mult_pyzx.qc │ │ ├── gf2^4_mult_pyzx.qc │ │ ├── gf2^5_mult_pyzx.qc │ │ ├── gf2^6_mult_pyzx.qc │ │ ├── gf2^7_mult_pyzx.qc │ │ ├── gf2^8_mult_pyzx.qc │ │ ├── gf2^8_mult_pyzxtodd.qc │ │ ├── gf2^9_mult_pyzx.qc │ │ ├── grover_5_pyzx.qc │ │ ├── ham15-high_pyzx.qc │ │ ├── ham15-low_pyzx.qc │ │ ├── ham15-med_pyzx.qc │ │ ├── hwb6_pyzx.qc │ │ ├── hwb8_pyzx.qc │ │ ├── mod5_4_pyzx.qc │ │ ├── mod_adder_1024_pyzx.qc │ │ ├── mod_mult_55_pyzx.qc │ │ ├── mod_red_21_pyzx.qc │ │ ├── nth_prime6_pyzx.qc │ │ ├── nth_prime8_pyzx.qc │ │ ├── qcla_adder_10_pyzx.qc │ │ ├── qcla_com_7_pyzx.qc │ │ ├── qcla_mod_7_pyzx.qc │ │ ├── qft_4_pyzx.qc │ │ ├── rc_adder_6_pyzx.qc │ │ ├── tof_10_pyzx.qc │ │ ├── tof_3_pyzx.qc │ │ ├── tof_4_pyzx.qc │ │ ├── tof_5_pyzx.qc │ │ └── vbe_adder_3_pyzx.qc │ └── test.qc ├── qft │ ├── forPyZX.zip │ ├── generateQFTqasm.py │ ├── generateQFTqasm.sh │ ├── qft_10.qasm │ ├── qft_10crz.qasm │ ├── qft_10dec.qasm │ ├── qft_127.qasm │ ├── qft_127crz.qasm │ ├── qft_127dec.qasm │ ├── qft_16.qasm │ ├── qft_16crz.qasm │ ├── qft_16dec.qasm │ ├── qft_2.qasm │ ├── qft_27.qasm │ ├── qft_27crz.qasm │ ├── qft_27dec.qasm │ ├── qft_2crz.qasm │ ├── qft_2dec.qasm │ ├── qft_2opt.qasm │ ├── qft_3.qasm │ ├── qft_3crz.qasm │ ├── qft_3dec.qasm │ ├── qft_3opt.qasm │ ├── qft_4.qasm │ ├── qft_433.qasm │ ├── qft_433crz.qasm │ ├── qft_433dec.qasm │ ├── qft_4crz.qasm │ ├── qft_4dec.qasm │ ├── qft_5.qasm │ ├── qft_5crz.qasm │ ├── qft_5dec.qasm │ ├── qft_6.qasm │ ├── qft_65.qasm │ ├── qft_65crz.qasm │ ├── qft_65dec.qasm │ ├── qft_6crz.qasm │ ├── qft_6dec.qasm │ ├── qft_7.qasm │ ├── qft_7crz.qasm │ ├── qft_7dec.qasm │ ├── qft_8.qasm │ ├── qft_8crz.qasm │ ├── qft_8dec.qasm │ ├── qft_9.qasm │ ├── qft_9crz.qasm │ ├── qft_9dec.qasm │ └── zx │ │ ├── qft_10.zx │ │ ├── qft_6dec.zx │ │ └── qft_6fr.zx ├── qsim │ ├── circuits │ │ ├── BUILD │ │ ├── bitstrings_q24_s1 │ │ ├── bitstrings_q24_s2 │ │ ├── bitstrings_q40_s1 │ │ ├── circuit_q24 │ │ ├── circuit_q30 │ │ └── circuit_q40 │ └── example ├── quipper │ ├── adder_8_after_heavy │ ├── adder_8_after_light │ ├── adder_8_before │ ├── barenco_tof_5_after_heavy │ ├── barenco_tof_5_after_light │ ├── barenco_tof_5_before │ ├── example │ ├── gf2^4_mult_after_heavy │ ├── gf2^4_mult_after_light │ └── gf2^4_mult_before ├── topology │ ├── 2n_8.layout │ ├── brooklyn_65.layout │ ├── casablanca.layout │ ├── convert_from_duostra.py │ ├── example.layout │ ├── guadalupe_16.layout │ ├── ithaca.layout │ ├── kolkata_27.layout │ ├── linear_5.layout │ ├── linear_6.layout │ ├── perth_7.layout │ ├── q20_simulator.layout │ ├── quito_5.layout │ ├── tokyo_20.layout │ ├── topo_1121.layout │ ├── topo_11969.layout │ ├── topo_2129.layout │ ├── topo_3457.layout │ ├── topo_433.layout │ ├── topo_5105.layout │ ├── topo_7073.layout │ ├── topo_9361.layout │ └── washington_127.layout └── zx │ ├── cnot.zx │ ├── cnots.zx │ ├── eqcheck │ ├── complete.zx │ ├── tmp.zx │ ├── tof3.zx │ ├── tof3_anc1.zx │ └── tof3_anc1_fr.zx │ ├── identity-1.zx │ ├── lcomp_1.zx │ ├── qft_6dec.zx │ ├── qft_6fr.zx │ ├── stcopy.zx │ ├── stcopy_boundary.zx │ ├── swap.zx │ ├── tof2_opt.zx │ ├── tof3.zx │ ├── tof3_op.zx │ ├── tof3_zh.zx │ └── tof_3.dr.zx ├── docker ├── clang-test.Dockerfile ├── dev.Dockerfile ├── env.Dockerfile ├── gcc-test.Dockerfile ├── prod.Dockerfile └── test-entrypoint.sh ├── examples ├── shell-interopt-ex.sh ├── synth-params.dof ├── synth.dof ├── tensor-equiv.dof └── zxopt.qsyn ├── scripts ├── LINT ├── RUN_TESTS ├── RUN_TESTS_DOCKER ├── cmake │ └── target_link_libraries_system.cmake └── qccdraw_qiskit_interface.py ├── src ├── argparse │ ├── arg_def.cpp │ ├── arg_def.hpp │ ├── arg_group.hpp │ ├── arg_parser.cpp │ ├── arg_parser.hpp │ ├── arg_parser_print.cpp │ ├── arg_type.cpp │ ├── arg_type.hpp │ ├── argparse.hpp │ ├── argument.cpp │ └── argument.hpp ├── cli │ ├── cli.cpp │ ├── cli.hpp │ ├── cli_char_def.hpp │ ├── cli_cmd.cpp │ ├── cli_command_type.cpp │ ├── cli_exec.cpp │ ├── cli_listen.cpp │ ├── cli_print.cpp │ └── cli_tab.cpp ├── cmd │ ├── conversion_cmd.cpp │ ├── conversion_cmd.hpp │ ├── device_cmd.cpp │ ├── device_cmd.hpp │ ├── device_mgr.hpp │ ├── duostra_cmd.cpp │ ├── duostra_cmd.hpp │ ├── extractor_cmd.cpp │ ├── extractor_cmd.hpp │ ├── qcir │ │ ├── optimizer_cmd.cpp │ │ ├── optimizer_cmd.hpp │ │ ├── oracle_cmd.cpp │ │ ├── oracle_cmd.hpp │ │ └── to_basic.cpp │ ├── qcir_cmd.cpp │ ├── qcir_cmd.hpp │ ├── qcir_mgr.hpp │ ├── tableau_cmd.cpp │ ├── tableau_cmd.hpp │ ├── tableau_mgr.hpp │ ├── tensor_cmd.cpp │ ├── tensor_cmd.hpp │ ├── tensor_mgr.hpp │ ├── zx │ │ ├── gflow_cmd.cpp │ │ ├── gflow_cmd.hpp │ │ ├── simp_cmd.cpp │ │ ├── simp_cmd.hpp │ │ └── zx-test.cpp │ ├── zx_cmd.cpp │ ├── zx_cmd.hpp │ └── zxgraph_mgr.hpp ├── convert │ ├── qcir_to_tableau.cpp │ ├── qcir_to_tableau.hpp │ ├── qcir_to_tensor.cpp │ ├── qcir_to_tensor.hpp │ ├── qcir_to_zxgraph.cpp │ ├── qcir_to_zxgraph.hpp │ ├── tableau_to_qcir.cpp │ ├── tableau_to_qcir.hpp │ ├── zxgraph_to_tensor.cpp │ └── zxgraph_to_tensor.hpp ├── device │ ├── device.cpp │ └── device.hpp ├── duostra │ ├── circuit_topology.cpp │ ├── circuit_topology.hpp │ ├── duostra.cpp │ ├── duostra.hpp │ ├── duostra_def.cpp │ ├── duostra_def.hpp │ ├── mapping_eqv_checker.cpp │ ├── mapping_eqv_checker.hpp │ ├── placer.cpp │ ├── placer.hpp │ ├── router.cpp │ ├── router.hpp │ ├── scheduler.cpp │ ├── scheduler.hpp │ ├── scheduler_greedy.cpp │ └── scheduler_search.cpp ├── extractor │ ├── extract.cpp │ ├── extract.hpp │ └── greedy_elimination.cpp ├── qcir │ ├── basic_gate_type.hpp │ ├── gate_type.cpp │ ├── operation.hpp │ ├── optimizer │ │ ├── basic_optimization.cpp │ │ ├── gate_optimization.cpp │ │ ├── optimize_2q_count.cpp │ │ ├── optimizer.cpp │ │ ├── optimizer.hpp │ │ ├── phase_teleport.cpp │ │ └── trivial_optimization.cpp │ ├── oracle │ │ ├── input.cpp │ │ ├── input.hpp │ │ ├── k_lut.cpp │ │ ├── k_lut.hpp │ │ ├── oracle.cpp │ │ ├── oracle.hpp │ │ ├── pebble.cpp │ │ ├── pebble.hpp │ │ ├── xag.cpp │ │ └── xag.hpp │ ├── qcir.cpp │ ├── qcir.hpp │ ├── qcir_action.cpp │ ├── qcir_equiv.cpp │ ├── qcir_equiv.hpp │ ├── qcir_gate.cpp │ ├── qcir_gate.hpp │ ├── qcir_io.hpp │ ├── qcir_print.cpp │ ├── qcir_qubit.hpp │ ├── qcir_reader.cpp │ ├── qcir_translate.cpp │ ├── qcir_translate.hpp │ └── qcir_writer.cpp ├── qsyn │ ├── qsyn_helper.cpp │ ├── qsyn_helper.hpp │ ├── qsyn_main.cpp │ ├── qsyn_type.hpp │ └── qsynrc.default ├── tableau │ ├── optimize │ │ ├── internal_h_opt.cpp │ │ └── todd.cpp │ ├── pauli_rotation.cpp │ ├── pauli_rotation.hpp │ ├── stabilizer_tableau.cpp │ ├── stabilizer_tableau.hpp │ ├── tableau.cpp │ ├── tableau.hpp │ ├── tableau_optimization.cpp │ └── tableau_optimization.hpp ├── tensor │ ├── decomposer.cpp │ ├── decomposer.hpp │ ├── qtensor.hpp │ ├── solovay_kitaev.cpp │ ├── solovay_kitaev.hpp │ ├── tensor.hpp │ ├── tensor_util.cpp │ └── tensor_util.hpp ├── util │ ├── boolean_matrix.cpp │ ├── boolean_matrix.hpp │ ├── cin_cout_cerr.hpp │ ├── data_structure_manager.hpp │ ├── data_structure_manager_common_cmd.hpp │ ├── dvlab_string.cpp │ ├── dvlab_string.hpp │ ├── graph │ │ ├── digraph.hpp │ │ └── minimum_spanning_arborescence.hpp │ ├── ordered_hashmap.hpp │ ├── ordered_hashset.hpp │ ├── ordered_hashtable.hpp │ ├── phase.cpp │ ├── phase.hpp │ ├── rational.cpp │ ├── rational.hpp │ ├── sat │ │ ├── cadical_solver.cpp │ │ ├── sat_solver.cpp │ │ └── sat_solver.hpp │ ├── scope_guard.hpp │ ├── sysdep.hpp │ ├── terminal_attributes.cpp │ ├── terminal_attributes.hpp │ ├── text_format.cpp │ ├── text_format.hpp │ ├── tmp_files.cpp │ ├── tmp_files.hpp │ ├── trie.cpp │ ├── trie.hpp │ ├── usage.cpp │ ├── usage.hpp │ ├── util.cpp │ └── util.hpp └── zx │ ├── flow │ ├── causal-flow.cpp │ ├── causal-flow.hpp │ ├── gflow.cpp │ └── gflow.hpp │ ├── simplifier │ ├── causal-flow-opt.cpp │ ├── heuristics.cpp │ ├── heuristics.hpp │ ├── partition_reduce.cpp │ ├── rules │ │ ├── bialgebra_rule.cpp │ │ ├── hadamard_fusion_rule.cpp │ │ ├── hadamard_rule.cpp │ │ ├── identity_removal_rule.cpp │ │ ├── local_complement_rule.cpp │ │ ├── phase_gadget_rule.cpp │ │ ├── pivot_boundary_rule.cpp │ │ ├── pivot_gadget_rule.cpp │ │ ├── pivot_rule.cpp │ │ ├── pivot_rule_interface.cpp │ │ ├── rule-matchers.cpp │ │ ├── rule-matchers.hpp │ │ ├── spider_fusion_rule.cpp │ │ ├── state_copy_rule.cpp │ │ └── zx_rules_template.hpp │ ├── simplify.cpp │ └── simplify.hpp │ ├── zx_def.hpp │ ├── zx_io.cpp │ ├── zx_io.hpp │ ├── zx_mapping.cpp │ ├── zx_partition.cpp │ ├── zx_partition.hpp │ ├── zx_traverse.cpp │ ├── zxgraph.cpp │ ├── zxgraph.hpp │ ├── zxgraph_action.cpp │ ├── zxgraph_action.hpp │ ├── zxgraph_print.cpp │ └── zxvertex.cpp ├── tests ├── cli │ ├── dof │ │ ├── alias.dof │ │ ├── cmd_help.dof │ │ ├── logger.dof │ │ ├── source.dof │ │ └── variable_substitution.dof │ ├── helper │ │ ├── empty_dof │ │ ├── param_dof │ │ └── param_dof_kw │ └── ref │ │ ├── alias.log │ │ ├── cmd_help.log │ │ ├── logger.log │ │ ├── recursive.log │ │ ├── source.log │ │ └── variable_substitution.log ├── conversion │ ├── dof │ │ └── empty_mgr.dof │ ├── duostra │ │ ├── dof │ │ │ ├── cm82a_208.dof │ │ │ ├── mpeqv.dof │ │ │ ├── shortest_path.dof │ │ │ └── v0.6.2-bug.dof │ │ └── ref │ │ │ ├── cm82a_208.log │ │ │ ├── mpeqv.log │ │ │ ├── shortest_path.log │ │ │ └── v0.6.2-bug.log │ ├── qc2ts │ │ ├── dof │ │ │ └── qc2ts.dof │ │ └── ref │ │ │ └── qc2ts.log │ ├── qc2zx │ │ ├── dof │ │ │ └── large.dof │ │ └── ref │ │ │ └── large.log │ ├── ref │ │ └── empty_mgr.log │ ├── sk │ │ ├── dof │ │ │ └── sk.dof │ │ └── ref │ │ │ └── sk.log │ ├── ts2qc │ │ ├── dof │ │ │ └── small.dof │ │ └── ref │ │ │ └── small.log │ ├── zx2qc │ │ ├── dof │ │ │ ├── extractStep.dof │ │ │ └── extractTof2.dof │ │ └── ref │ │ │ ├── extractStep.log │ │ │ └── extractTof2.log │ └── zx2ts │ │ ├── dof │ │ ├── disconnected.dof │ │ ├── h_edge.dof │ │ └── invalid_graph.dof │ │ └── ref │ │ ├── disconnected.log │ │ ├── h_edge.log │ │ └── invalid_graph.log ├── gflow │ └── interc │ │ ├── dof │ │ ├── qft10.dof │ │ └── tof2_dne.dof │ │ └── ref │ │ ├── qft10.log │ │ └── tof2_dne.log ├── optimization │ ├── dof │ │ ├── opt_lv0.dof │ │ ├── opt_lv1.dof │ │ └── opt_lv2.dof │ └── ref │ │ ├── opt_lv0.log │ │ ├── opt_lv1.log │ │ └── opt_lv2.log ├── qcir │ ├── mgr │ │ ├── dof │ │ │ ├── compose.dof │ │ │ ├── copy.dof │ │ │ ├── name_and_procedure.dof │ │ │ └── tensor.dof │ │ └── ref │ │ │ ├── compose.log │ │ │ ├── copy.log │ │ │ ├── name_and_procedure.log │ │ │ └── tensor.log │ ├── optimizer │ │ ├── dof │ │ │ └── optimize.dof │ │ └── ref │ │ │ └── optimize.log │ ├── oracle │ │ ├── dof │ │ │ ├── oracle_tt.dof │ │ │ └── oracle_verilog.dof │ │ └── ref │ │ │ ├── oracle.v │ │ │ ├── oracle_tt.log │ │ │ └── oracle_verilog.log │ ├── pi_reading │ │ ├── dof │ │ │ └── pi_input.dof │ │ └── ref │ │ │ └── pi_input.log │ ├── qcir │ │ ├── dof │ │ │ ├── compare_crz_cp.dof │ │ │ ├── copy_empty.dof │ │ │ ├── manip.dof │ │ │ ├── mcp.dof │ │ │ └── mcpx.dof │ │ └── ref │ │ │ ├── compare_crz_cp.log │ │ │ ├── copy_empty.log │ │ │ ├── manip.log │ │ │ ├── mcp.log │ │ │ └── mcpx.log │ └── translate │ │ ├── dof │ │ └── translate.dof │ │ └── ref │ │ └── translate.log ├── simulation │ └── tof3 │ │ ├── dof │ │ ├── assign2cnot.dof │ │ ├── assign2cnot2.dof │ │ └── assign2not.dof │ │ └── ref │ │ ├── assign2cnot.log │ │ ├── assign2cnot2.log │ │ └── assign2not.log ├── src │ ├── common │ │ ├── global.cpp │ │ ├── global.hpp │ │ ├── zx.cpp │ │ └── zx.hpp │ ├── util │ │ └── digraph.cpp │ └── zx │ │ ├── add-edge.cpp │ │ ├── boundary-detachment.cpp │ │ ├── compare.cpp │ │ ├── heuristics.cpp │ │ ├── id-fusion.cpp │ │ ├── id-removal.cpp │ │ ├── lcomp-unfuse.cpp │ │ ├── lcomp.cpp │ │ ├── neighbor-unfuse.cpp │ │ ├── pivot-unfuse.cpp │ │ ├── pivot.cpp │ │ └── rule-matchers.cpp ├── tableau │ ├── dof │ │ └── spidernest_4_0.dof │ └── ref │ │ └── spidernest_4_0.log ├── tensor │ ├── equiv │ │ ├── dof │ │ │ ├── global_norm_phase.dof │ │ │ └── tiny_circuits.dof │ │ └── ref │ │ │ ├── global_norm_phase.log │ │ │ └── tiny_circuits.log │ ├── manip │ │ ├── dof │ │ │ └── adjoint.dof │ │ └── ref │ │ │ └── adjoint.log │ └── not_equiv │ │ ├── dof │ │ ├── error.dof │ │ └── size.dof │ │ └── ref │ │ ├── error.log │ │ └── size.log ├── topology │ └── reader │ │ ├── dof │ │ └── topo_hybrid.dof │ │ └── ref │ │ └── topo_hybrid.log ├── zx │ ├── graph │ │ ├── dof │ │ │ ├── add_remove.dof │ │ │ ├── compose.dof │ │ │ ├── is_graph-like.dof │ │ │ ├── print.dof │ │ │ └── tensor_product.dof │ │ └── ref │ │ │ ├── add_remove.log │ │ │ ├── compose.log │ │ │ ├── is_graph-like.log │ │ │ ├── print.log │ │ │ └── tensor_product.log │ ├── manip │ │ ├── dof │ │ │ ├── adjoint.dof │ │ │ └── assign.dof │ │ └── ref │ │ │ ├── adjoint.log │ │ │ └── assign.log │ └── mgr │ │ ├── dof │ │ ├── copy.dof │ │ └── print.dof │ │ └── ref │ │ ├── copy.log │ │ └── print.log └── zxrules │ ├── dof │ ├── bialgebra.dof │ ├── hadamard_fusion.dof │ ├── hadamard_rule.dof │ ├── local_complementation.dof │ ├── pivot.dof │ ├── spider_fusion.dof │ └── state_copy.dof │ ├── dynamic_reduce │ ├── dof │ │ └── compose.dof │ └── ref │ │ └── compose.log │ ├── full_reduce │ ├── dof │ │ ├── gadget.dof │ │ ├── rd32-v1_68.dof │ │ └── tof_3.dof │ └── ref │ │ ├── gadget.log │ │ ├── rd32-v1_68.log │ │ └── tof_3.log │ ├── partition_reduce │ ├── dof │ │ ├── compose.dof │ │ └── tseqv.dof │ └── ref │ │ ├── compose.log │ │ └── tseqv.log │ └── ref │ ├── bialgebra.log │ ├── hadamard_fusion.log │ ├── hadamard_rule.log │ ├── local_complementation.log │ ├── pivot.log │ ├── spider_fusion.log │ └── state_copy.log └── vendor ├── NamedType ├── crtp.hpp ├── named_type.hpp ├── named_type_impl.hpp ├── underlying_functionalities.hpp └── version.hpp ├── README.md ├── jthread ├── README.md ├── jthread.hpp └── stop_token.hpp ├── kitty ├── affine.hpp ├── algorithm.hpp ├── bit_operations.hpp ├── cnf.hpp ├── constructors.hpp ├── cube.hpp ├── decomposition.hpp ├── detail │ ├── constants.hpp │ ├── linear_constants.hpp │ ├── mscfix.hpp │ ├── shift.hpp │ └── utils.hpp ├── dynamic_truth_table.hpp ├── enumeration.hpp ├── esop.hpp ├── hash.hpp ├── implicant.hpp ├── isop.hpp ├── karnaugh_map.hpp ├── kitty.hpp ├── npn.hpp ├── operations.hpp ├── operators.hpp ├── partial_truth_table.hpp ├── permutation.hpp ├── print.hpp ├── properties.hpp ├── quaternary_truth_table.hpp ├── spectral.hpp ├── spp.hpp ├── static_truth_table.hpp ├── ternary_truth_table.hpp └── traits.hpp ├── tl ├── adjacent.hpp ├── adjacent_transform.hpp ├── basic_iterator.hpp ├── cache_latest.hpp ├── cartesian_product.hpp ├── chunk.hpp ├── chunk_by.hpp ├── chunk_by_key.hpp ├── common.hpp ├── cycle.hpp ├── enumerate.hpp ├── fold.hpp ├── functional │ ├── bind.hpp │ ├── compose.hpp │ ├── curry.hpp │ ├── lift.hpp │ └── pipeable.hpp ├── generate.hpp ├── generate_n.hpp ├── generator.hpp ├── getlines.hpp ├── partial_sum.hpp ├── repeat.hpp ├── repeat_n.hpp ├── slide.hpp ├── stride.hpp ├── to.hpp ├── transform_join.hpp ├── transform_maybe.hpp ├── utility │ ├── meta.hpp │ ├── non_propagating_cache.hpp │ ├── semiregular_box.hpp │ └── tuple_utils.hpp ├── weaken.hpp ├── zip.hpp └── zip_transform.hpp ├── tqdm └── tqdm.hpp └── unicode └── display_width.hpp /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.clang-format -------------------------------------------------------------------------------- /.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.clang-tidy -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | build/ 2 | debug/ 3 | qsyn 4 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | benchmark/** linguist-vendored 2 | 3 | -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/clang-test-macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.github/workflows/clang-test-macos.yml -------------------------------------------------------------------------------- /.github/workflows/clang-test-ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.github/workflows/clang-test-ubuntu.yml -------------------------------------------------------------------------------- /.github/workflows/gcc-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.github/workflows/gcc-test.yml -------------------------------------------------------------------------------- /.github/workflows/lint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.github/workflows/lint.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/README.md -------------------------------------------------------------------------------- /_typos.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/_typos.toml -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/16QBT_05CYC_TFL_0.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/16QBT_05CYC_TFL_0.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/16QBT_10CYC_TFL_3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/16QBT_10CYC_TFL_3.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/16QBT_15CYC_TFL_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/16QBT_15CYC_TFL_1.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/4gt13_92.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/4gt13_92.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/4mod5-v1_22.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/4mod5-v1_22.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/adder.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/adder.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/barenco_tof_4_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/barenco_tof_4_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/barenco_tof_5_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/barenco_tof_5_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/mod5mils_65.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/mod5mils_65.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/mod_mult_55_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/mod_mult_55_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/or.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/or.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/qaoa5.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/qaoa5.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/rc_adder_6_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/rc_adder_6_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/tof_4_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/tof_4_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/tof_5_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/tof_5_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/OLSQ/vbe_adder_3_after_heavy.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/OLSQ/vbe_adder_3_after_heavy.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/9symml_195.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/9symml_195.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/adr4_197.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/adr4_197.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/cm42a_207.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/cm42a_207.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/cm82a_208.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/cm82a_208.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/cm85a_209.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/cm85a_209.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/cycle10_2_110.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/cycle10_2_110.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/dc2_222.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/dc2_222.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/dist_223.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/dist_223.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/ham15_107.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/ham15_107.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/hwb8_113.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/hwb8_113.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/inc_237.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/inc_237.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/life_238.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/life_238.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/mlp4_245.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/mlp4_245.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/pm1_249.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/pm1_249.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/qft_10.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/qft_10.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/qft_n20.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/qft_n20.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/rd53_251.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/rd53_251.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/rd73_252.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/rd73_252.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/rd84_253.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/rd84_253.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/root_255.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/root_255.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/sqn_258.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/sqn_258.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/sqrt8_260.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/sqrt8_260.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/square_root_7.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/square_root_7.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/urf1_149.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/urf1_149.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/urf1_278.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/urf1_278.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/urf2_277.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/urf2_277.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/large/z4_268.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/large/z4_268.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/3_17_13.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/3_17_13.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4gt11_82.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4gt11_82.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4gt11_84.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4gt11_84.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4gt13_92.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4gt13_92.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4mod5-v0_19.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4mod5-v0_19.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4mod5-v0_20.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4mod5-v0_20.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4mod5-v1_22.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4mod5-v1_22.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/4mod5-v1_24.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/4mod5-v1_24.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v0_27.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v0_27.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v1_28.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v1_28.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v1_29.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v1_29.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v2_33.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v2_33.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v3_34.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v3_34.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v3_35.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v3_35.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/alu-v4_37.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/alu-v4_37.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/ex-1_166.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/ex-1_166.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/ham3_102.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/ham3_102.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/miller_11.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/miller_11.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/mod5d1_63.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/mod5d1_63.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/mod5mils_65.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/mod5mils_65.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/qft_4.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/qft_4.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/rd32-v0_66.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/rd32-v0_66.qasm -------------------------------------------------------------------------------- /benchmark/SABRE/small/rd32-v1_68.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/SABRE/small/rd32-v1_68.qasm -------------------------------------------------------------------------------- /benchmark/extraction/clean_frontier.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/extraction/clean_frontier.zx -------------------------------------------------------------------------------- /benchmark/extraction/rm_gadget.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/extraction/rm_gadget.zx -------------------------------------------------------------------------------- /benchmark/qasm/a(b+c).qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/a(b+c).qasm -------------------------------------------------------------------------------- /benchmark/qasm/ab+ac.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/ab+ac.qasm -------------------------------------------------------------------------------- /benchmark/qasm/achilles.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/achilles.qasm -------------------------------------------------------------------------------- /benchmark/qasm/hada1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/hada1.qasm -------------------------------------------------------------------------------- /benchmark/qasm/id2.qasm: -------------------------------------------------------------------------------- 1 | OPENQASM 2.0; 2 | include "qelib1.inc"; 3 | qreg q[2]; 4 | -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/cnot.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/cnot.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/control_h.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/control_h.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/control_z.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/control_z.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/swap.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/swap.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/test.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/test.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/toffoli.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/toffoli.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/toffoli_dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/toffoli_dec.qasm -------------------------------------------------------------------------------- /benchmark/qasm/qc2ts/toffoli_qiskit.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/qc2ts/toffoli_qiskit.qasm -------------------------------------------------------------------------------- /benchmark/qasm/spidernest_4_0.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/spidernest_4_0.qasm -------------------------------------------------------------------------------- /benchmark/qasm/test.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/test.qasm -------------------------------------------------------------------------------- /benchmark/qasm/to_graph1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/to_graph1.qasm -------------------------------------------------------------------------------- /benchmark/qasm/to_graph2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/to_graph2.qasm -------------------------------------------------------------------------------- /benchmark/qasm/tof2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/tof2.qasm -------------------------------------------------------------------------------- /benchmark/qasm/tof2_dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/tof2_dec.qasm -------------------------------------------------------------------------------- /benchmark/qasm/tof2tof2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/tof2tof2.qasm -------------------------------------------------------------------------------- /benchmark/qasm/tof3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qasm/tof3.qasm -------------------------------------------------------------------------------- /benchmark/qc/Adder32_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Adder32_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/cycle_17_3.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/cycle_17_3.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/grover_5.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/grover_5.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/grover_5_tpar.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/grover_5_tpar.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/ham15-high.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/ham15-high.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/ham15-low.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/ham15-low.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/ham15-med.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/ham15-med.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/hwb6.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/hwb6.qc -------------------------------------------------------------------------------- /benchmark/qc/Other/nth_prime6.tfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/nth_prime6.tfc -------------------------------------------------------------------------------- /benchmark/qc/Other/qft_4.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/Other/qft_4.qc -------------------------------------------------------------------------------- /benchmark/qc/cycle_17_3.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/cycle_17_3.qc -------------------------------------------------------------------------------- /benchmark/qc/grover_5.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/grover_5.qc -------------------------------------------------------------------------------- /benchmark/qc/hwb6.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/hwb6.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/Adder16_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/Adder16_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/Adder32_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/Adder32_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/Adder64_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/Adder64_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/Adder8_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/Adder8_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFT16_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFT32_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFT8_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFTAdd16_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFTAdd32_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/QFTAdd8_pyzx.qc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/qc/optimized/adder_8_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/adder_8_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/barenco_tof_10_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/barenco_tof_10_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/barenco_tof_3_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/barenco_tof_3_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/barenco_tof_4_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/barenco_tof_4_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/barenco_tof_5_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/barenco_tof_5_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/csla_mux_3_original_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/csla_mux_3_original_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/csum_mux_9_corrected_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/csum_mux_9_corrected_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^10_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^10_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^16_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^16_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^4_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^4_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^5_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^5_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^6_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^6_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^7_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^7_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^8_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^8_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^8_mult_pyzxtodd.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^8_mult_pyzxtodd.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/gf2^9_mult_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/gf2^9_mult_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/grover_5_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/grover_5_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/ham15-high_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/ham15-high_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/ham15-low_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/ham15-low_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/ham15-med_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/ham15-med_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/hwb6_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/hwb6_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/hwb8_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/hwb8_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/mod5_4_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/mod5_4_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/mod_adder_1024_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/mod_adder_1024_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/mod_mult_55_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/mod_mult_55_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/mod_red_21_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/mod_red_21_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/nth_prime6_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/nth_prime6_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/nth_prime8_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/nth_prime8_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/qcla_adder_10_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/qcla_adder_10_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/qcla_com_7_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/qcla_com_7_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/qcla_mod_7_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/qcla_mod_7_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/qft_4_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/qft_4_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/rc_adder_6_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/rc_adder_6_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/tof_10_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/tof_10_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/tof_3_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/tof_3_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/tof_4_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/tof_4_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/tof_5_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/tof_5_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/optimized/vbe_adder_3_pyzx.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/optimized/vbe_adder_3_pyzx.qc -------------------------------------------------------------------------------- /benchmark/qc/test.qc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qc/test.qc -------------------------------------------------------------------------------- /benchmark/qft/forPyZX.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/forPyZX.zip -------------------------------------------------------------------------------- /benchmark/qft/generateQFTqasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/generateQFTqasm.py -------------------------------------------------------------------------------- /benchmark/qft/generateQFTqasm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/generateQFTqasm.sh -------------------------------------------------------------------------------- /benchmark/qft/qft_10.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_10.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_10crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_10crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_10dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_10dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_127.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_127.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_127crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_127crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_127dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_127dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_16.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_16.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_16crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_16crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_16dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_16dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_2.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_27.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_27.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_27crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_27crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_27dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_27dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_2crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_2crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_2dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_2dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_2opt.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_2opt.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_3.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_3crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_3crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_3dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_3dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_3opt.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_3opt.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_4.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_4.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_433.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_433.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_433crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_433crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_433dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_433dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_4crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_4crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_4dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_4dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_5.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_5.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_5crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_5crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_5dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_5dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_6.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_6.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_65.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_65.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_65crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_65crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_65dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_65dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_6crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_6crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_6dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_6dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_7.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_7.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_7crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_7crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_7dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_7dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_8.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_8.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_8crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_8crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_8dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_8dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_9.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_9.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_9crz.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_9crz.qasm -------------------------------------------------------------------------------- /benchmark/qft/qft_9dec.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/qft_9dec.qasm -------------------------------------------------------------------------------- /benchmark/qft/zx/qft_10.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/zx/qft_10.zx -------------------------------------------------------------------------------- /benchmark/qft/zx/qft_6dec.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/zx/qft_6dec.zx -------------------------------------------------------------------------------- /benchmark/qft/zx/qft_6fr.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qft/zx/qft_6fr.zx -------------------------------------------------------------------------------- /benchmark/qsim/circuits/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/BUILD -------------------------------------------------------------------------------- /benchmark/qsim/circuits/bitstrings_q24_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/bitstrings_q24_s1 -------------------------------------------------------------------------------- /benchmark/qsim/circuits/bitstrings_q24_s2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/bitstrings_q24_s2 -------------------------------------------------------------------------------- /benchmark/qsim/circuits/bitstrings_q40_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/bitstrings_q40_s1 -------------------------------------------------------------------------------- /benchmark/qsim/circuits/circuit_q24: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/circuit_q24 -------------------------------------------------------------------------------- /benchmark/qsim/circuits/circuit_q30: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/circuit_q30 -------------------------------------------------------------------------------- /benchmark/qsim/circuits/circuit_q40: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/circuits/circuit_q40 -------------------------------------------------------------------------------- /benchmark/qsim/example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/qsim/example -------------------------------------------------------------------------------- /benchmark/quipper/adder_8_after_heavy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/adder_8_after_heavy -------------------------------------------------------------------------------- /benchmark/quipper/adder_8_after_light: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/adder_8_after_light -------------------------------------------------------------------------------- /benchmark/quipper/adder_8_before: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/adder_8_before -------------------------------------------------------------------------------- /benchmark/quipper/barenco_tof_5_after_heavy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/barenco_tof_5_after_heavy -------------------------------------------------------------------------------- /benchmark/quipper/barenco_tof_5_after_light: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/barenco_tof_5_after_light -------------------------------------------------------------------------------- /benchmark/quipper/barenco_tof_5_before: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/barenco_tof_5_before -------------------------------------------------------------------------------- /benchmark/quipper/example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/example -------------------------------------------------------------------------------- /benchmark/quipper/gf2^4_mult_after_heavy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/gf2^4_mult_after_heavy -------------------------------------------------------------------------------- /benchmark/quipper/gf2^4_mult_after_light: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/gf2^4_mult_after_light -------------------------------------------------------------------------------- /benchmark/quipper/gf2^4_mult_before: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/quipper/gf2^4_mult_before -------------------------------------------------------------------------------- /benchmark/topology/2n_8.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/2n_8.layout -------------------------------------------------------------------------------- /benchmark/topology/brooklyn_65.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/brooklyn_65.layout -------------------------------------------------------------------------------- /benchmark/topology/casablanca.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/casablanca.layout -------------------------------------------------------------------------------- /benchmark/topology/convert_from_duostra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/convert_from_duostra.py -------------------------------------------------------------------------------- /benchmark/topology/example.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/example.layout -------------------------------------------------------------------------------- /benchmark/topology/guadalupe_16.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/guadalupe_16.layout -------------------------------------------------------------------------------- /benchmark/topology/ithaca.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/ithaca.layout -------------------------------------------------------------------------------- /benchmark/topology/kolkata_27.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/kolkata_27.layout -------------------------------------------------------------------------------- /benchmark/topology/linear_5.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/linear_5.layout -------------------------------------------------------------------------------- /benchmark/topology/linear_6.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/linear_6.layout -------------------------------------------------------------------------------- /benchmark/topology/perth_7.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/perth_7.layout -------------------------------------------------------------------------------- /benchmark/topology/q20_simulator.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/q20_simulator.layout -------------------------------------------------------------------------------- /benchmark/topology/quito_5.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/quito_5.layout -------------------------------------------------------------------------------- /benchmark/topology/tokyo_20.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/tokyo_20.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_1121.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_1121.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_11969.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_11969.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_2129.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_2129.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_3457.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_3457.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_433.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_433.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_5105.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_5105.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_7073.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_7073.layout -------------------------------------------------------------------------------- /benchmark/topology/topo_9361.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/topo_9361.layout -------------------------------------------------------------------------------- /benchmark/topology/washington_127.layout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/topology/washington_127.layout -------------------------------------------------------------------------------- /benchmark/zx/cnot.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/cnot.zx -------------------------------------------------------------------------------- /benchmark/zx/cnots.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/cnots.zx -------------------------------------------------------------------------------- /benchmark/zx/eqcheck/complete.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/eqcheck/complete.zx -------------------------------------------------------------------------------- /benchmark/zx/eqcheck/tmp.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/eqcheck/tmp.zx -------------------------------------------------------------------------------- /benchmark/zx/eqcheck/tof3.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/eqcheck/tof3.zx -------------------------------------------------------------------------------- /benchmark/zx/eqcheck/tof3_anc1.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/eqcheck/tof3_anc1.zx -------------------------------------------------------------------------------- /benchmark/zx/eqcheck/tof3_anc1_fr.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/eqcheck/tof3_anc1_fr.zx -------------------------------------------------------------------------------- /benchmark/zx/identity-1.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/identity-1.zx -------------------------------------------------------------------------------- /benchmark/zx/lcomp_1.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/lcomp_1.zx -------------------------------------------------------------------------------- /benchmark/zx/qft_6dec.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/qft_6dec.zx -------------------------------------------------------------------------------- /benchmark/zx/qft_6fr.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/qft_6fr.zx -------------------------------------------------------------------------------- /benchmark/zx/stcopy.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/stcopy.zx -------------------------------------------------------------------------------- /benchmark/zx/stcopy_boundary.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/stcopy_boundary.zx -------------------------------------------------------------------------------- /benchmark/zx/swap.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/swap.zx -------------------------------------------------------------------------------- /benchmark/zx/tof2_opt.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/tof2_opt.zx -------------------------------------------------------------------------------- /benchmark/zx/tof3.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/tof3.zx -------------------------------------------------------------------------------- /benchmark/zx/tof3_op.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/tof3_op.zx -------------------------------------------------------------------------------- /benchmark/zx/tof3_zh.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/tof3_zh.zx -------------------------------------------------------------------------------- /benchmark/zx/tof_3.dr.zx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/benchmark/zx/tof_3.dr.zx -------------------------------------------------------------------------------- /docker/clang-test.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/clang-test.Dockerfile -------------------------------------------------------------------------------- /docker/dev.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/dev.Dockerfile -------------------------------------------------------------------------------- /docker/env.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/env.Dockerfile -------------------------------------------------------------------------------- /docker/gcc-test.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/gcc-test.Dockerfile -------------------------------------------------------------------------------- /docker/prod.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/prod.Dockerfile -------------------------------------------------------------------------------- /docker/test-entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/docker/test-entrypoint.sh -------------------------------------------------------------------------------- /examples/shell-interopt-ex.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/examples/shell-interopt-ex.sh -------------------------------------------------------------------------------- /examples/synth-params.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/examples/synth-params.dof -------------------------------------------------------------------------------- /examples/synth.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/examples/synth.dof -------------------------------------------------------------------------------- /examples/tensor-equiv.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/examples/tensor-equiv.dof -------------------------------------------------------------------------------- /examples/zxopt.qsyn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/examples/zxopt.qsyn -------------------------------------------------------------------------------- /scripts/LINT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/scripts/LINT -------------------------------------------------------------------------------- /scripts/RUN_TESTS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/scripts/RUN_TESTS -------------------------------------------------------------------------------- /scripts/RUN_TESTS_DOCKER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/scripts/RUN_TESTS_DOCKER -------------------------------------------------------------------------------- /scripts/cmake/target_link_libraries_system.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/scripts/cmake/target_link_libraries_system.cmake -------------------------------------------------------------------------------- /scripts/qccdraw_qiskit_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/scripts/qccdraw_qiskit_interface.py -------------------------------------------------------------------------------- /src/argparse/arg_def.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_def.cpp -------------------------------------------------------------------------------- /src/argparse/arg_def.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_def.hpp -------------------------------------------------------------------------------- /src/argparse/arg_group.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_group.hpp -------------------------------------------------------------------------------- /src/argparse/arg_parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_parser.cpp -------------------------------------------------------------------------------- /src/argparse/arg_parser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_parser.hpp -------------------------------------------------------------------------------- /src/argparse/arg_parser_print.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_parser_print.cpp -------------------------------------------------------------------------------- /src/argparse/arg_type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_type.cpp -------------------------------------------------------------------------------- /src/argparse/arg_type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/arg_type.hpp -------------------------------------------------------------------------------- /src/argparse/argparse.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/argparse.hpp -------------------------------------------------------------------------------- /src/argparse/argument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/argument.cpp -------------------------------------------------------------------------------- /src/argparse/argument.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/argparse/argument.hpp -------------------------------------------------------------------------------- /src/cli/cli.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli.cpp -------------------------------------------------------------------------------- /src/cli/cli.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli.hpp -------------------------------------------------------------------------------- /src/cli/cli_char_def.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_char_def.hpp -------------------------------------------------------------------------------- /src/cli/cli_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_cmd.cpp -------------------------------------------------------------------------------- /src/cli/cli_command_type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_command_type.cpp -------------------------------------------------------------------------------- /src/cli/cli_exec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_exec.cpp -------------------------------------------------------------------------------- /src/cli/cli_listen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_listen.cpp -------------------------------------------------------------------------------- /src/cli/cli_print.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_print.cpp -------------------------------------------------------------------------------- /src/cli/cli_tab.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cli/cli_tab.cpp -------------------------------------------------------------------------------- /src/cmd/conversion_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/conversion_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/conversion_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/conversion_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/device_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/device_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/device_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/device_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/device_mgr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/device_mgr.hpp -------------------------------------------------------------------------------- /src/cmd/duostra_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/duostra_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/duostra_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/duostra_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/extractor_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/extractor_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/extractor_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/extractor_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/qcir/optimizer_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir/optimizer_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/qcir/optimizer_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir/optimizer_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/qcir/oracle_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir/oracle_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/qcir/oracle_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir/oracle_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/qcir/to_basic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir/to_basic.cpp -------------------------------------------------------------------------------- /src/cmd/qcir_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/qcir_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/qcir_mgr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/qcir_mgr.hpp -------------------------------------------------------------------------------- /src/cmd/tableau_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tableau_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/tableau_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tableau_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/tableau_mgr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tableau_mgr.hpp -------------------------------------------------------------------------------- /src/cmd/tensor_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tensor_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/tensor_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tensor_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/tensor_mgr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/tensor_mgr.hpp -------------------------------------------------------------------------------- /src/cmd/zx/gflow_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx/gflow_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/zx/gflow_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx/gflow_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/zx/simp_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx/simp_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/zx/simp_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx/simp_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/zx/zx-test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx/zx-test.cpp -------------------------------------------------------------------------------- /src/cmd/zx_cmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx_cmd.cpp -------------------------------------------------------------------------------- /src/cmd/zx_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zx_cmd.hpp -------------------------------------------------------------------------------- /src/cmd/zxgraph_mgr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/cmd/zxgraph_mgr.hpp -------------------------------------------------------------------------------- /src/convert/qcir_to_tableau.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_tableau.cpp -------------------------------------------------------------------------------- /src/convert/qcir_to_tableau.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_tableau.hpp -------------------------------------------------------------------------------- /src/convert/qcir_to_tensor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_tensor.cpp -------------------------------------------------------------------------------- /src/convert/qcir_to_tensor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_tensor.hpp -------------------------------------------------------------------------------- /src/convert/qcir_to_zxgraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_zxgraph.cpp -------------------------------------------------------------------------------- /src/convert/qcir_to_zxgraph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/qcir_to_zxgraph.hpp -------------------------------------------------------------------------------- /src/convert/tableau_to_qcir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/tableau_to_qcir.cpp -------------------------------------------------------------------------------- /src/convert/tableau_to_qcir.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/tableau_to_qcir.hpp -------------------------------------------------------------------------------- /src/convert/zxgraph_to_tensor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/zxgraph_to_tensor.cpp -------------------------------------------------------------------------------- /src/convert/zxgraph_to_tensor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/convert/zxgraph_to_tensor.hpp -------------------------------------------------------------------------------- /src/device/device.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/device/device.cpp -------------------------------------------------------------------------------- /src/device/device.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/device/device.hpp -------------------------------------------------------------------------------- /src/duostra/circuit_topology.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/circuit_topology.cpp -------------------------------------------------------------------------------- /src/duostra/circuit_topology.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/circuit_topology.hpp -------------------------------------------------------------------------------- /src/duostra/duostra.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/duostra.cpp -------------------------------------------------------------------------------- /src/duostra/duostra.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/duostra.hpp -------------------------------------------------------------------------------- /src/duostra/duostra_def.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/duostra_def.cpp -------------------------------------------------------------------------------- /src/duostra/duostra_def.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/duostra_def.hpp -------------------------------------------------------------------------------- /src/duostra/mapping_eqv_checker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/mapping_eqv_checker.cpp -------------------------------------------------------------------------------- /src/duostra/mapping_eqv_checker.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/mapping_eqv_checker.hpp -------------------------------------------------------------------------------- /src/duostra/placer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/placer.cpp -------------------------------------------------------------------------------- /src/duostra/placer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/placer.hpp -------------------------------------------------------------------------------- /src/duostra/router.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/router.cpp -------------------------------------------------------------------------------- /src/duostra/router.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/router.hpp -------------------------------------------------------------------------------- /src/duostra/scheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/scheduler.cpp -------------------------------------------------------------------------------- /src/duostra/scheduler.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/scheduler.hpp -------------------------------------------------------------------------------- /src/duostra/scheduler_greedy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/scheduler_greedy.cpp -------------------------------------------------------------------------------- /src/duostra/scheduler_search.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/duostra/scheduler_search.cpp -------------------------------------------------------------------------------- /src/extractor/extract.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/extractor/extract.cpp -------------------------------------------------------------------------------- /src/extractor/extract.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/extractor/extract.hpp -------------------------------------------------------------------------------- /src/extractor/greedy_elimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/extractor/greedy_elimination.cpp -------------------------------------------------------------------------------- /src/qcir/basic_gate_type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/basic_gate_type.hpp -------------------------------------------------------------------------------- /src/qcir/gate_type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/gate_type.cpp -------------------------------------------------------------------------------- /src/qcir/operation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/operation.hpp -------------------------------------------------------------------------------- /src/qcir/optimizer/basic_optimization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/basic_optimization.cpp -------------------------------------------------------------------------------- /src/qcir/optimizer/gate_optimization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/gate_optimization.cpp -------------------------------------------------------------------------------- /src/qcir/optimizer/optimize_2q_count.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/optimize_2q_count.cpp -------------------------------------------------------------------------------- /src/qcir/optimizer/optimizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/optimizer.cpp -------------------------------------------------------------------------------- /src/qcir/optimizer/optimizer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/optimizer.hpp -------------------------------------------------------------------------------- /src/qcir/optimizer/phase_teleport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/phase_teleport.cpp -------------------------------------------------------------------------------- /src/qcir/optimizer/trivial_optimization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/optimizer/trivial_optimization.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/input.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/input.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/input.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/input.hpp -------------------------------------------------------------------------------- /src/qcir/oracle/k_lut.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/k_lut.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/k_lut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/k_lut.hpp -------------------------------------------------------------------------------- /src/qcir/oracle/oracle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/oracle.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/oracle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/oracle.hpp -------------------------------------------------------------------------------- /src/qcir/oracle/pebble.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/pebble.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/pebble.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/pebble.hpp -------------------------------------------------------------------------------- /src/qcir/oracle/xag.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/xag.cpp -------------------------------------------------------------------------------- /src/qcir/oracle/xag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/oracle/xag.hpp -------------------------------------------------------------------------------- /src/qcir/qcir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir.cpp -------------------------------------------------------------------------------- /src/qcir/qcir.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_action.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_equiv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_equiv.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_equiv.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_equiv.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_gate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_gate.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_gate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_gate.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_io.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_print.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_print.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_qubit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_qubit.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_reader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_reader.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_translate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_translate.cpp -------------------------------------------------------------------------------- /src/qcir/qcir_translate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_translate.hpp -------------------------------------------------------------------------------- /src/qcir/qcir_writer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qcir/qcir_writer.cpp -------------------------------------------------------------------------------- /src/qsyn/qsyn_helper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qsyn/qsyn_helper.cpp -------------------------------------------------------------------------------- /src/qsyn/qsyn_helper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qsyn/qsyn_helper.hpp -------------------------------------------------------------------------------- /src/qsyn/qsyn_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qsyn/qsyn_main.cpp -------------------------------------------------------------------------------- /src/qsyn/qsyn_type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qsyn/qsyn_type.hpp -------------------------------------------------------------------------------- /src/qsyn/qsynrc.default: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/qsyn/qsynrc.default -------------------------------------------------------------------------------- /src/tableau/optimize/internal_h_opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/optimize/internal_h_opt.cpp -------------------------------------------------------------------------------- /src/tableau/optimize/todd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/optimize/todd.cpp -------------------------------------------------------------------------------- /src/tableau/pauli_rotation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/pauli_rotation.cpp -------------------------------------------------------------------------------- /src/tableau/pauli_rotation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/pauli_rotation.hpp -------------------------------------------------------------------------------- /src/tableau/stabilizer_tableau.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/stabilizer_tableau.cpp -------------------------------------------------------------------------------- /src/tableau/stabilizer_tableau.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/stabilizer_tableau.hpp -------------------------------------------------------------------------------- /src/tableau/tableau.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/tableau.cpp -------------------------------------------------------------------------------- /src/tableau/tableau.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/tableau.hpp -------------------------------------------------------------------------------- /src/tableau/tableau_optimization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/tableau_optimization.cpp -------------------------------------------------------------------------------- /src/tableau/tableau_optimization.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tableau/tableau_optimization.hpp -------------------------------------------------------------------------------- /src/tensor/decomposer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/decomposer.cpp -------------------------------------------------------------------------------- /src/tensor/decomposer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/decomposer.hpp -------------------------------------------------------------------------------- /src/tensor/qtensor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/qtensor.hpp -------------------------------------------------------------------------------- /src/tensor/solovay_kitaev.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/solovay_kitaev.cpp -------------------------------------------------------------------------------- /src/tensor/solovay_kitaev.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/solovay_kitaev.hpp -------------------------------------------------------------------------------- /src/tensor/tensor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/tensor.hpp -------------------------------------------------------------------------------- /src/tensor/tensor_util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/tensor_util.cpp -------------------------------------------------------------------------------- /src/tensor/tensor_util.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/tensor/tensor_util.hpp -------------------------------------------------------------------------------- /src/util/boolean_matrix.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/boolean_matrix.cpp -------------------------------------------------------------------------------- /src/util/boolean_matrix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/boolean_matrix.hpp -------------------------------------------------------------------------------- /src/util/cin_cout_cerr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/cin_cout_cerr.hpp -------------------------------------------------------------------------------- /src/util/data_structure_manager.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/data_structure_manager.hpp -------------------------------------------------------------------------------- /src/util/data_structure_manager_common_cmd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/data_structure_manager_common_cmd.hpp -------------------------------------------------------------------------------- /src/util/dvlab_string.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/dvlab_string.cpp -------------------------------------------------------------------------------- /src/util/dvlab_string.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/dvlab_string.hpp -------------------------------------------------------------------------------- /src/util/graph/digraph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/graph/digraph.hpp -------------------------------------------------------------------------------- /src/util/graph/minimum_spanning_arborescence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/graph/minimum_spanning_arborescence.hpp -------------------------------------------------------------------------------- /src/util/ordered_hashmap.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/ordered_hashmap.hpp -------------------------------------------------------------------------------- /src/util/ordered_hashset.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/ordered_hashset.hpp -------------------------------------------------------------------------------- /src/util/ordered_hashtable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/ordered_hashtable.hpp -------------------------------------------------------------------------------- /src/util/phase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/phase.cpp -------------------------------------------------------------------------------- /src/util/phase.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/phase.hpp -------------------------------------------------------------------------------- /src/util/rational.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/rational.cpp -------------------------------------------------------------------------------- /src/util/rational.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/rational.hpp -------------------------------------------------------------------------------- /src/util/sat/cadical_solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/sat/cadical_solver.cpp -------------------------------------------------------------------------------- /src/util/sat/sat_solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/sat/sat_solver.cpp -------------------------------------------------------------------------------- /src/util/sat/sat_solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/sat/sat_solver.hpp -------------------------------------------------------------------------------- /src/util/scope_guard.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/scope_guard.hpp -------------------------------------------------------------------------------- /src/util/sysdep.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/sysdep.hpp -------------------------------------------------------------------------------- /src/util/terminal_attributes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/terminal_attributes.cpp -------------------------------------------------------------------------------- /src/util/terminal_attributes.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/terminal_attributes.hpp -------------------------------------------------------------------------------- /src/util/text_format.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/text_format.cpp -------------------------------------------------------------------------------- /src/util/text_format.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/text_format.hpp -------------------------------------------------------------------------------- /src/util/tmp_files.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/tmp_files.cpp -------------------------------------------------------------------------------- /src/util/tmp_files.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/tmp_files.hpp -------------------------------------------------------------------------------- /src/util/trie.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/trie.cpp -------------------------------------------------------------------------------- /src/util/trie.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/trie.hpp -------------------------------------------------------------------------------- /src/util/usage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/usage.cpp -------------------------------------------------------------------------------- /src/util/usage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/usage.hpp -------------------------------------------------------------------------------- /src/util/util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/util.cpp -------------------------------------------------------------------------------- /src/util/util.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/util/util.hpp -------------------------------------------------------------------------------- /src/zx/flow/causal-flow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/flow/causal-flow.cpp -------------------------------------------------------------------------------- /src/zx/flow/causal-flow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/flow/causal-flow.hpp -------------------------------------------------------------------------------- /src/zx/flow/gflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/flow/gflow.cpp -------------------------------------------------------------------------------- /src/zx/flow/gflow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/flow/gflow.hpp -------------------------------------------------------------------------------- /src/zx/simplifier/causal-flow-opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/causal-flow-opt.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/heuristics.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/heuristics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/heuristics.hpp -------------------------------------------------------------------------------- /src/zx/simplifier/partition_reduce.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/partition_reduce.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/bialgebra_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/bialgebra_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/hadamard_fusion_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/hadamard_fusion_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/hadamard_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/hadamard_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/identity_removal_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/identity_removal_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/local_complement_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/local_complement_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/phase_gadget_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/phase_gadget_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/pivot_boundary_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/pivot_boundary_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/pivot_gadget_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/pivot_gadget_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/pivot_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/pivot_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/pivot_rule_interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/pivot_rule_interface.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/rule-matchers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/rule-matchers.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/rule-matchers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/rule-matchers.hpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/spider_fusion_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/spider_fusion_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/state_copy_rule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/state_copy_rule.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/rules/zx_rules_template.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/rules/zx_rules_template.hpp -------------------------------------------------------------------------------- /src/zx/simplifier/simplify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/simplify.cpp -------------------------------------------------------------------------------- /src/zx/simplifier/simplify.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/simplifier/simplify.hpp -------------------------------------------------------------------------------- /src/zx/zx_def.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_def.hpp -------------------------------------------------------------------------------- /src/zx/zx_io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_io.cpp -------------------------------------------------------------------------------- /src/zx/zx_io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_io.hpp -------------------------------------------------------------------------------- /src/zx/zx_mapping.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_mapping.cpp -------------------------------------------------------------------------------- /src/zx/zx_partition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_partition.cpp -------------------------------------------------------------------------------- /src/zx/zx_partition.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_partition.hpp -------------------------------------------------------------------------------- /src/zx/zx_traverse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zx_traverse.cpp -------------------------------------------------------------------------------- /src/zx/zxgraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxgraph.cpp -------------------------------------------------------------------------------- /src/zx/zxgraph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxgraph.hpp -------------------------------------------------------------------------------- /src/zx/zxgraph_action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxgraph_action.cpp -------------------------------------------------------------------------------- /src/zx/zxgraph_action.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxgraph_action.hpp -------------------------------------------------------------------------------- /src/zx/zxgraph_print.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxgraph_print.cpp -------------------------------------------------------------------------------- /src/zx/zxvertex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/src/zx/zxvertex.cpp -------------------------------------------------------------------------------- /tests/cli/dof/alias.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/dof/alias.dof -------------------------------------------------------------------------------- /tests/cli/dof/cmd_help.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/dof/cmd_help.dof -------------------------------------------------------------------------------- /tests/cli/dof/logger.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/dof/logger.dof -------------------------------------------------------------------------------- /tests/cli/dof/source.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/dof/source.dof -------------------------------------------------------------------------------- /tests/cli/dof/variable_substitution.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/dof/variable_substitution.dof -------------------------------------------------------------------------------- /tests/cli/helper/empty_dof: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/cli/helper/param_dof: -------------------------------------------------------------------------------- 1 | // placeholder -------------------------------------------------------------------------------- /tests/cli/helper/param_dof_kw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/helper/param_dof_kw -------------------------------------------------------------------------------- /tests/cli/ref/alias.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/alias.log -------------------------------------------------------------------------------- /tests/cli/ref/cmd_help.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/cmd_help.log -------------------------------------------------------------------------------- /tests/cli/ref/logger.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/logger.log -------------------------------------------------------------------------------- /tests/cli/ref/recursive.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/recursive.log -------------------------------------------------------------------------------- /tests/cli/ref/source.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/source.log -------------------------------------------------------------------------------- /tests/cli/ref/variable_substitution.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/cli/ref/variable_substitution.log -------------------------------------------------------------------------------- /tests/conversion/dof/empty_mgr.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/dof/empty_mgr.dof -------------------------------------------------------------------------------- /tests/conversion/duostra/dof/cm82a_208.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/dof/cm82a_208.dof -------------------------------------------------------------------------------- /tests/conversion/duostra/dof/mpeqv.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/dof/mpeqv.dof -------------------------------------------------------------------------------- /tests/conversion/duostra/dof/shortest_path.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/dof/shortest_path.dof -------------------------------------------------------------------------------- /tests/conversion/duostra/dof/v0.6.2-bug.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/dof/v0.6.2-bug.dof -------------------------------------------------------------------------------- /tests/conversion/duostra/ref/cm82a_208.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/ref/cm82a_208.log -------------------------------------------------------------------------------- /tests/conversion/duostra/ref/mpeqv.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/ref/mpeqv.log -------------------------------------------------------------------------------- /tests/conversion/duostra/ref/shortest_path.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/ref/shortest_path.log -------------------------------------------------------------------------------- /tests/conversion/duostra/ref/v0.6.2-bug.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/duostra/ref/v0.6.2-bug.log -------------------------------------------------------------------------------- /tests/conversion/qc2ts/dof/qc2ts.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/qc2ts/dof/qc2ts.dof -------------------------------------------------------------------------------- /tests/conversion/qc2ts/ref/qc2ts.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/qc2ts/ref/qc2ts.log -------------------------------------------------------------------------------- /tests/conversion/qc2zx/dof/large.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/qc2zx/dof/large.dof -------------------------------------------------------------------------------- /tests/conversion/qc2zx/ref/large.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/qc2zx/ref/large.log -------------------------------------------------------------------------------- /tests/conversion/ref/empty_mgr.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/ref/empty_mgr.log -------------------------------------------------------------------------------- /tests/conversion/sk/dof/sk.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/sk/dof/sk.dof -------------------------------------------------------------------------------- /tests/conversion/sk/ref/sk.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/sk/ref/sk.log -------------------------------------------------------------------------------- /tests/conversion/ts2qc/dof/small.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/ts2qc/dof/small.dof -------------------------------------------------------------------------------- /tests/conversion/ts2qc/ref/small.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/ts2qc/ref/small.log -------------------------------------------------------------------------------- /tests/conversion/zx2qc/dof/extractStep.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2qc/dof/extractStep.dof -------------------------------------------------------------------------------- /tests/conversion/zx2qc/dof/extractTof2.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2qc/dof/extractTof2.dof -------------------------------------------------------------------------------- /tests/conversion/zx2qc/ref/extractStep.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2qc/ref/extractStep.log -------------------------------------------------------------------------------- /tests/conversion/zx2qc/ref/extractTof2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2qc/ref/extractTof2.log -------------------------------------------------------------------------------- /tests/conversion/zx2ts/dof/disconnected.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/dof/disconnected.dof -------------------------------------------------------------------------------- /tests/conversion/zx2ts/dof/h_edge.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/dof/h_edge.dof -------------------------------------------------------------------------------- /tests/conversion/zx2ts/dof/invalid_graph.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/dof/invalid_graph.dof -------------------------------------------------------------------------------- /tests/conversion/zx2ts/ref/disconnected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/ref/disconnected.log -------------------------------------------------------------------------------- /tests/conversion/zx2ts/ref/h_edge.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/ref/h_edge.log -------------------------------------------------------------------------------- /tests/conversion/zx2ts/ref/invalid_graph.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/conversion/zx2ts/ref/invalid_graph.log -------------------------------------------------------------------------------- /tests/gflow/interc/dof/qft10.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/gflow/interc/dof/qft10.dof -------------------------------------------------------------------------------- /tests/gflow/interc/dof/tof2_dne.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/gflow/interc/dof/tof2_dne.dof -------------------------------------------------------------------------------- /tests/gflow/interc/ref/qft10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/gflow/interc/ref/qft10.log -------------------------------------------------------------------------------- /tests/gflow/interc/ref/tof2_dne.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/gflow/interc/ref/tof2_dne.log -------------------------------------------------------------------------------- /tests/optimization/dof/opt_lv0.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/dof/opt_lv0.dof -------------------------------------------------------------------------------- /tests/optimization/dof/opt_lv1.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/dof/opt_lv1.dof -------------------------------------------------------------------------------- /tests/optimization/dof/opt_lv2.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/dof/opt_lv2.dof -------------------------------------------------------------------------------- /tests/optimization/ref/opt_lv0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/ref/opt_lv0.log -------------------------------------------------------------------------------- /tests/optimization/ref/opt_lv1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/ref/opt_lv1.log -------------------------------------------------------------------------------- /tests/optimization/ref/opt_lv2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/optimization/ref/opt_lv2.log -------------------------------------------------------------------------------- /tests/qcir/mgr/dof/compose.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/dof/compose.dof -------------------------------------------------------------------------------- /tests/qcir/mgr/dof/copy.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/dof/copy.dof -------------------------------------------------------------------------------- /tests/qcir/mgr/dof/name_and_procedure.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/dof/name_and_procedure.dof -------------------------------------------------------------------------------- /tests/qcir/mgr/dof/tensor.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/dof/tensor.dof -------------------------------------------------------------------------------- /tests/qcir/mgr/ref/compose.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/ref/compose.log -------------------------------------------------------------------------------- /tests/qcir/mgr/ref/copy.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/ref/copy.log -------------------------------------------------------------------------------- /tests/qcir/mgr/ref/name_and_procedure.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/ref/name_and_procedure.log -------------------------------------------------------------------------------- /tests/qcir/mgr/ref/tensor.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/mgr/ref/tensor.log -------------------------------------------------------------------------------- /tests/qcir/optimizer/dof/optimize.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/optimizer/dof/optimize.dof -------------------------------------------------------------------------------- /tests/qcir/optimizer/ref/optimize.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/optimizer/ref/optimize.log -------------------------------------------------------------------------------- /tests/qcir/oracle/dof/oracle_tt.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/oracle/dof/oracle_tt.dof -------------------------------------------------------------------------------- /tests/qcir/oracle/dof/oracle_verilog.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/oracle/dof/oracle_verilog.dof -------------------------------------------------------------------------------- /tests/qcir/oracle/ref/oracle.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/oracle/ref/oracle.v -------------------------------------------------------------------------------- /tests/qcir/oracle/ref/oracle_tt.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/oracle/ref/oracle_tt.log -------------------------------------------------------------------------------- /tests/qcir/oracle/ref/oracle_verilog.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/oracle/ref/oracle_verilog.log -------------------------------------------------------------------------------- /tests/qcir/pi_reading/dof/pi_input.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/pi_reading/dof/pi_input.dof -------------------------------------------------------------------------------- /tests/qcir/pi_reading/ref/pi_input.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/pi_reading/ref/pi_input.log -------------------------------------------------------------------------------- /tests/qcir/qcir/dof/compare_crz_cp.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/dof/compare_crz_cp.dof -------------------------------------------------------------------------------- /tests/qcir/qcir/dof/copy_empty.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/dof/copy_empty.dof -------------------------------------------------------------------------------- /tests/qcir/qcir/dof/manip.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/dof/manip.dof -------------------------------------------------------------------------------- /tests/qcir/qcir/dof/mcp.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/dof/mcp.dof -------------------------------------------------------------------------------- /tests/qcir/qcir/dof/mcpx.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/dof/mcpx.dof -------------------------------------------------------------------------------- /tests/qcir/qcir/ref/compare_crz_cp.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/ref/compare_crz_cp.log -------------------------------------------------------------------------------- /tests/qcir/qcir/ref/copy_empty.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/ref/copy_empty.log -------------------------------------------------------------------------------- /tests/qcir/qcir/ref/manip.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/ref/manip.log -------------------------------------------------------------------------------- /tests/qcir/qcir/ref/mcp.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/ref/mcp.log -------------------------------------------------------------------------------- /tests/qcir/qcir/ref/mcpx.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/qcir/ref/mcpx.log -------------------------------------------------------------------------------- /tests/qcir/translate/dof/translate.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/translate/dof/translate.dof -------------------------------------------------------------------------------- /tests/qcir/translate/ref/translate.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/qcir/translate/ref/translate.log -------------------------------------------------------------------------------- /tests/simulation/tof3/dof/assign2cnot.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/dof/assign2cnot.dof -------------------------------------------------------------------------------- /tests/simulation/tof3/dof/assign2cnot2.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/dof/assign2cnot2.dof -------------------------------------------------------------------------------- /tests/simulation/tof3/dof/assign2not.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/dof/assign2not.dof -------------------------------------------------------------------------------- /tests/simulation/tof3/ref/assign2cnot.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/ref/assign2cnot.log -------------------------------------------------------------------------------- /tests/simulation/tof3/ref/assign2cnot2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/ref/assign2cnot2.log -------------------------------------------------------------------------------- /tests/simulation/tof3/ref/assign2not.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/simulation/tof3/ref/assign2not.log -------------------------------------------------------------------------------- /tests/src/common/global.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/common/global.cpp -------------------------------------------------------------------------------- /tests/src/common/global.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/common/global.hpp -------------------------------------------------------------------------------- /tests/src/common/zx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/common/zx.cpp -------------------------------------------------------------------------------- /tests/src/common/zx.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/common/zx.hpp -------------------------------------------------------------------------------- /tests/src/util/digraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/util/digraph.cpp -------------------------------------------------------------------------------- /tests/src/zx/add-edge.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/add-edge.cpp -------------------------------------------------------------------------------- /tests/src/zx/boundary-detachment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/boundary-detachment.cpp -------------------------------------------------------------------------------- /tests/src/zx/compare.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/compare.cpp -------------------------------------------------------------------------------- /tests/src/zx/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/heuristics.cpp -------------------------------------------------------------------------------- /tests/src/zx/id-fusion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/id-fusion.cpp -------------------------------------------------------------------------------- /tests/src/zx/id-removal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/id-removal.cpp -------------------------------------------------------------------------------- /tests/src/zx/lcomp-unfuse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/lcomp-unfuse.cpp -------------------------------------------------------------------------------- /tests/src/zx/lcomp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/lcomp.cpp -------------------------------------------------------------------------------- /tests/src/zx/neighbor-unfuse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/neighbor-unfuse.cpp -------------------------------------------------------------------------------- /tests/src/zx/pivot-unfuse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/pivot-unfuse.cpp -------------------------------------------------------------------------------- /tests/src/zx/pivot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/pivot.cpp -------------------------------------------------------------------------------- /tests/src/zx/rule-matchers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/src/zx/rule-matchers.cpp -------------------------------------------------------------------------------- /tests/tableau/dof/spidernest_4_0.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tableau/dof/spidernest_4_0.dof -------------------------------------------------------------------------------- /tests/tableau/ref/spidernest_4_0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tableau/ref/spidernest_4_0.log -------------------------------------------------------------------------------- /tests/tensor/equiv/dof/global_norm_phase.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/equiv/dof/global_norm_phase.dof -------------------------------------------------------------------------------- /tests/tensor/equiv/dof/tiny_circuits.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/equiv/dof/tiny_circuits.dof -------------------------------------------------------------------------------- /tests/tensor/equiv/ref/global_norm_phase.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/equiv/ref/global_norm_phase.log -------------------------------------------------------------------------------- /tests/tensor/equiv/ref/tiny_circuits.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/equiv/ref/tiny_circuits.log -------------------------------------------------------------------------------- /tests/tensor/manip/dof/adjoint.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/manip/dof/adjoint.dof -------------------------------------------------------------------------------- /tests/tensor/manip/ref/adjoint.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/manip/ref/adjoint.log -------------------------------------------------------------------------------- /tests/tensor/not_equiv/dof/error.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/not_equiv/dof/error.dof -------------------------------------------------------------------------------- /tests/tensor/not_equiv/dof/size.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/not_equiv/dof/size.dof -------------------------------------------------------------------------------- /tests/tensor/not_equiv/ref/error.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/not_equiv/ref/error.log -------------------------------------------------------------------------------- /tests/tensor/not_equiv/ref/size.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/tensor/not_equiv/ref/size.log -------------------------------------------------------------------------------- /tests/topology/reader/dof/topo_hybrid.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/topology/reader/dof/topo_hybrid.dof -------------------------------------------------------------------------------- /tests/topology/reader/ref/topo_hybrid.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/topology/reader/ref/topo_hybrid.log -------------------------------------------------------------------------------- /tests/zx/graph/dof/add_remove.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/dof/add_remove.dof -------------------------------------------------------------------------------- /tests/zx/graph/dof/compose.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/dof/compose.dof -------------------------------------------------------------------------------- /tests/zx/graph/dof/is_graph-like.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/dof/is_graph-like.dof -------------------------------------------------------------------------------- /tests/zx/graph/dof/print.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/dof/print.dof -------------------------------------------------------------------------------- /tests/zx/graph/dof/tensor_product.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/dof/tensor_product.dof -------------------------------------------------------------------------------- /tests/zx/graph/ref/add_remove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/ref/add_remove.log -------------------------------------------------------------------------------- /tests/zx/graph/ref/compose.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/ref/compose.log -------------------------------------------------------------------------------- /tests/zx/graph/ref/is_graph-like.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/ref/is_graph-like.log -------------------------------------------------------------------------------- /tests/zx/graph/ref/print.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/ref/print.log -------------------------------------------------------------------------------- /tests/zx/graph/ref/tensor_product.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/graph/ref/tensor_product.log -------------------------------------------------------------------------------- /tests/zx/manip/dof/adjoint.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/manip/dof/adjoint.dof -------------------------------------------------------------------------------- /tests/zx/manip/dof/assign.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/manip/dof/assign.dof -------------------------------------------------------------------------------- /tests/zx/manip/ref/adjoint.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/manip/ref/adjoint.log -------------------------------------------------------------------------------- /tests/zx/manip/ref/assign.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/manip/ref/assign.log -------------------------------------------------------------------------------- /tests/zx/mgr/dof/copy.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/mgr/dof/copy.dof -------------------------------------------------------------------------------- /tests/zx/mgr/dof/print.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/mgr/dof/print.dof -------------------------------------------------------------------------------- /tests/zx/mgr/ref/copy.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/mgr/ref/copy.log -------------------------------------------------------------------------------- /tests/zx/mgr/ref/print.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zx/mgr/ref/print.log -------------------------------------------------------------------------------- /tests/zxrules/dof/bialgebra.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/bialgebra.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/hadamard_fusion.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/hadamard_fusion.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/hadamard_rule.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/hadamard_rule.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/local_complementation.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/local_complementation.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/pivot.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/pivot.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/spider_fusion.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/spider_fusion.dof -------------------------------------------------------------------------------- /tests/zxrules/dof/state_copy.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dof/state_copy.dof -------------------------------------------------------------------------------- /tests/zxrules/dynamic_reduce/dof/compose.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dynamic_reduce/dof/compose.dof -------------------------------------------------------------------------------- /tests/zxrules/dynamic_reduce/ref/compose.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/dynamic_reduce/ref/compose.log -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/dof/gadget.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/dof/gadget.dof -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/dof/rd32-v1_68.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/dof/rd32-v1_68.dof -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/dof/tof_3.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/dof/tof_3.dof -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/ref/gadget.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/ref/gadget.log -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/ref/rd32-v1_68.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/ref/rd32-v1_68.log -------------------------------------------------------------------------------- /tests/zxrules/full_reduce/ref/tof_3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/full_reduce/ref/tof_3.log -------------------------------------------------------------------------------- /tests/zxrules/partition_reduce/dof/compose.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/partition_reduce/dof/compose.dof -------------------------------------------------------------------------------- /tests/zxrules/partition_reduce/dof/tseqv.dof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/partition_reduce/dof/tseqv.dof -------------------------------------------------------------------------------- /tests/zxrules/partition_reduce/ref/compose.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/partition_reduce/ref/compose.log -------------------------------------------------------------------------------- /tests/zxrules/partition_reduce/ref/tseqv.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/partition_reduce/ref/tseqv.log -------------------------------------------------------------------------------- /tests/zxrules/ref/bialgebra.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/bialgebra.log -------------------------------------------------------------------------------- /tests/zxrules/ref/hadamard_fusion.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/hadamard_fusion.log -------------------------------------------------------------------------------- /tests/zxrules/ref/hadamard_rule.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/hadamard_rule.log -------------------------------------------------------------------------------- /tests/zxrules/ref/local_complementation.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/local_complementation.log -------------------------------------------------------------------------------- /tests/zxrules/ref/pivot.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/pivot.log -------------------------------------------------------------------------------- /tests/zxrules/ref/spider_fusion.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/spider_fusion.log -------------------------------------------------------------------------------- /tests/zxrules/ref/state_copy.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/tests/zxrules/ref/state_copy.log -------------------------------------------------------------------------------- /vendor/NamedType/crtp.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/NamedType/crtp.hpp -------------------------------------------------------------------------------- /vendor/NamedType/named_type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/NamedType/named_type.hpp -------------------------------------------------------------------------------- /vendor/NamedType/named_type_impl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/NamedType/named_type_impl.hpp -------------------------------------------------------------------------------- /vendor/NamedType/underlying_functionalities.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/NamedType/underlying_functionalities.hpp -------------------------------------------------------------------------------- /vendor/NamedType/version.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/NamedType/version.hpp -------------------------------------------------------------------------------- /vendor/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/README.md -------------------------------------------------------------------------------- /vendor/jthread/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/jthread/README.md -------------------------------------------------------------------------------- /vendor/jthread/jthread.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/jthread/jthread.hpp -------------------------------------------------------------------------------- /vendor/jthread/stop_token.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/jthread/stop_token.hpp -------------------------------------------------------------------------------- /vendor/kitty/affine.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/affine.hpp -------------------------------------------------------------------------------- /vendor/kitty/algorithm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/algorithm.hpp -------------------------------------------------------------------------------- /vendor/kitty/bit_operations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/bit_operations.hpp -------------------------------------------------------------------------------- /vendor/kitty/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/cnf.hpp -------------------------------------------------------------------------------- /vendor/kitty/constructors.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/constructors.hpp -------------------------------------------------------------------------------- /vendor/kitty/cube.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/cube.hpp -------------------------------------------------------------------------------- /vendor/kitty/decomposition.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/decomposition.hpp -------------------------------------------------------------------------------- /vendor/kitty/detail/constants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/detail/constants.hpp -------------------------------------------------------------------------------- /vendor/kitty/detail/linear_constants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/detail/linear_constants.hpp -------------------------------------------------------------------------------- /vendor/kitty/detail/mscfix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/detail/mscfix.hpp -------------------------------------------------------------------------------- /vendor/kitty/detail/shift.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/detail/shift.hpp -------------------------------------------------------------------------------- /vendor/kitty/detail/utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/detail/utils.hpp -------------------------------------------------------------------------------- /vendor/kitty/dynamic_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/dynamic_truth_table.hpp -------------------------------------------------------------------------------- /vendor/kitty/enumeration.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/enumeration.hpp -------------------------------------------------------------------------------- /vendor/kitty/esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/esop.hpp -------------------------------------------------------------------------------- /vendor/kitty/hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/hash.hpp -------------------------------------------------------------------------------- /vendor/kitty/implicant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/implicant.hpp -------------------------------------------------------------------------------- /vendor/kitty/isop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/isop.hpp -------------------------------------------------------------------------------- /vendor/kitty/karnaugh_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/karnaugh_map.hpp -------------------------------------------------------------------------------- /vendor/kitty/kitty.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/kitty.hpp -------------------------------------------------------------------------------- /vendor/kitty/npn.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/npn.hpp -------------------------------------------------------------------------------- /vendor/kitty/operations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/operations.hpp -------------------------------------------------------------------------------- /vendor/kitty/operators.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/operators.hpp -------------------------------------------------------------------------------- /vendor/kitty/partial_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/partial_truth_table.hpp -------------------------------------------------------------------------------- /vendor/kitty/permutation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/permutation.hpp -------------------------------------------------------------------------------- /vendor/kitty/print.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/print.hpp -------------------------------------------------------------------------------- /vendor/kitty/properties.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/properties.hpp -------------------------------------------------------------------------------- /vendor/kitty/quaternary_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/quaternary_truth_table.hpp -------------------------------------------------------------------------------- /vendor/kitty/spectral.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/spectral.hpp -------------------------------------------------------------------------------- /vendor/kitty/spp.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/spp.hpp -------------------------------------------------------------------------------- /vendor/kitty/static_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/static_truth_table.hpp -------------------------------------------------------------------------------- /vendor/kitty/ternary_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/ternary_truth_table.hpp -------------------------------------------------------------------------------- /vendor/kitty/traits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/kitty/traits.hpp -------------------------------------------------------------------------------- /vendor/tl/adjacent.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/adjacent.hpp -------------------------------------------------------------------------------- /vendor/tl/adjacent_transform.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/adjacent_transform.hpp -------------------------------------------------------------------------------- /vendor/tl/basic_iterator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/basic_iterator.hpp -------------------------------------------------------------------------------- /vendor/tl/cache_latest.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/cache_latest.hpp -------------------------------------------------------------------------------- /vendor/tl/cartesian_product.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/cartesian_product.hpp -------------------------------------------------------------------------------- /vendor/tl/chunk.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/chunk.hpp -------------------------------------------------------------------------------- /vendor/tl/chunk_by.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/chunk_by.hpp -------------------------------------------------------------------------------- /vendor/tl/chunk_by_key.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/chunk_by_key.hpp -------------------------------------------------------------------------------- /vendor/tl/common.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/common.hpp -------------------------------------------------------------------------------- /vendor/tl/cycle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/cycle.hpp -------------------------------------------------------------------------------- /vendor/tl/enumerate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/enumerate.hpp -------------------------------------------------------------------------------- /vendor/tl/fold.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/fold.hpp -------------------------------------------------------------------------------- /vendor/tl/functional/bind.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/functional/bind.hpp -------------------------------------------------------------------------------- /vendor/tl/functional/compose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/functional/compose.hpp -------------------------------------------------------------------------------- /vendor/tl/functional/curry.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/functional/curry.hpp -------------------------------------------------------------------------------- /vendor/tl/functional/lift.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/functional/lift.hpp -------------------------------------------------------------------------------- /vendor/tl/functional/pipeable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/functional/pipeable.hpp -------------------------------------------------------------------------------- /vendor/tl/generate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/generate.hpp -------------------------------------------------------------------------------- /vendor/tl/generate_n.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/generate_n.hpp -------------------------------------------------------------------------------- /vendor/tl/generator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/generator.hpp -------------------------------------------------------------------------------- /vendor/tl/getlines.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/getlines.hpp -------------------------------------------------------------------------------- /vendor/tl/partial_sum.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/partial_sum.hpp -------------------------------------------------------------------------------- /vendor/tl/repeat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/repeat.hpp -------------------------------------------------------------------------------- /vendor/tl/repeat_n.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/repeat_n.hpp -------------------------------------------------------------------------------- /vendor/tl/slide.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/slide.hpp -------------------------------------------------------------------------------- /vendor/tl/stride.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/stride.hpp -------------------------------------------------------------------------------- /vendor/tl/to.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/to.hpp -------------------------------------------------------------------------------- /vendor/tl/transform_join.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/transform_join.hpp -------------------------------------------------------------------------------- /vendor/tl/transform_maybe.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/transform_maybe.hpp -------------------------------------------------------------------------------- /vendor/tl/utility/meta.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/utility/meta.hpp -------------------------------------------------------------------------------- /vendor/tl/utility/non_propagating_cache.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/utility/non_propagating_cache.hpp -------------------------------------------------------------------------------- /vendor/tl/utility/semiregular_box.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/utility/semiregular_box.hpp -------------------------------------------------------------------------------- /vendor/tl/utility/tuple_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/utility/tuple_utils.hpp -------------------------------------------------------------------------------- /vendor/tl/weaken.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/weaken.hpp -------------------------------------------------------------------------------- /vendor/tl/zip.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/zip.hpp -------------------------------------------------------------------------------- /vendor/tl/zip_transform.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tl/zip_transform.hpp -------------------------------------------------------------------------------- /vendor/tqdm/tqdm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/tqdm/tqdm.hpp -------------------------------------------------------------------------------- /vendor/unicode/display_width.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DVLab-NTU/qsyn/HEAD/vendor/unicode/display_width.hpp --------------------------------------------------------------------------------