.dockerignore
CHANGELOG.md
CITATION.cff
CODE_OF_CONDUCT.md
CONTRIBUTING.md
Dockerfile
LICENSE
MANIFEST.in
NOTICE.md
README.md
RELEASING.md
SECURITY.md
pyproject.toml
examples/basic_usage.py
examples/run_benchmarks.py
examples/benchmarks/README.md
examples/benchmarks/adder_n7_total13_dirty.qasm
examples/benchmarks/ghz_dirty_bridge_n700_total1399.qasm
examples/benchmarks/grover_dirty_n50_r1.qasm
examples/benchmarks/identity_q5_g50_s1.qasm
src/quokka_sharp/__init__.py
src/quokka_sharp/comput2cnf_py_codegen.py
src/quokka_sharp/config.py
src/quokka_sharp/eq.py
src/quokka_sharp/functionalities.py
src/quokka_sharp/pauli2cnf_py_codegen.py
src/quokka_sharp/repair.py
src/quokka_sharp/repair_computational.py
src/quokka_sharp/sim.py
src/quokka_sharp/syn.py
src/quokka_sharp/veri.py
src/quokka_sharp/encoding/__init__.py
src/quokka_sharp/encoding/cnf.py
src/quokka_sharp/encoding/comput2cnf.py
src/quokka_sharp/encoding/pauli2cnf.py
src/quokka_sharp/encoding/qasm_parser.py
src/quokka_sharp/utils/__init__.py
src/quokka_sharp/utils/timeout.py
src/quokka_sharp/utils/utils.py
src/veriq_ancillaguard/__init__.py
src/veriq_ancillaguard/_legacy_pipeline.py
src/veriq_ancillaguard/_vendor.py
src/veriq_ancillaguard/api.py
src/veriq_ancillaguard/cli.py
src/veriq_ancillaguard/conversion.py
src/veriq_ancillaguard/exceptions.py
src/veriq_ancillaguard/models.py
src/veriq_ancillaguard/worker.py
src/veriq_ancillaguard.egg-info/PKG-INFO
src/veriq_ancillaguard.egg-info/SOURCES.txt
src/veriq_ancillaguard.egg-info/dependency_links.txt
src/veriq_ancillaguard.egg-info/entry_points.txt
src/veriq_ancillaguard.egg-info/requires.txt
src/veriq_ancillaguard.egg-info/top_level.txt
src/veriq_ancillaguard/backends/__init__.py
src/veriq_ancillaguard/backends/qcec.py
src/veriq_ancillaguard/backends/quokka.py
tests/test_cli.py
tests/test_qcec.py
tests/test_quokka.py
tests/test_validation.py
third_party/GPMC/.gitignore
third_party/GPMC/CHANGELOG.md
third_party/GPMC/CMakeLists.txt
third_party/GPMC/INSTALL.md
third_party/GPMC/LICENSE.md
third_party/GPMC/README.md
third_party/GPMC/build.sh
third_party/GPMC/clean.sh
third_party/GPMC/c-mpfr/ComplexMPFR.cc
third_party/GPMC/c-mpfr/ComplexMPFR.h
third_party/GPMC/core/BoundedQueue.h
third_party/GPMC/core/Component.h
third_party/GPMC/core/ComponentCache.cc
third_party/GPMC/core/ComponentManager.cc
third_party/GPMC/core/Config.cc
third_party/GPMC/core/Config.h
third_party/GPMC/core/Constants.h
third_party/GPMC/core/Counter.cc
third_party/GPMC/core/Counter.h
third_party/GPMC/core/Dimacs.h
third_party/GPMC/core/Instance.cc
third_party/GPMC/core/Instance.h
third_party/GPMC/core/Main.cc
third_party/GPMC/core/Solver.cc
third_party/GPMC/core/Solver.h
third_party/GPMC/core/SolverTypes.h
third_party/GPMC/ddnnf/DecisionTree.cc
third_party/GPMC/ddnnf/DecisionTree.h
third_party/GPMC/ddnnf/enumerator/README.md
third_party/GPMC/ddnnf/enumerator/ddnnf.py
third_party/GPMC/ddnnf/enumerator/main.py
third_party/GPMC/ddnnf/enumerator/test.cnf
third_party/GPMC/ddnnf/enumerator/test.nnf
third_party/GPMC/example/README.txt
third_party/GPMC/example/dekel_test.cnf
third_party/GPMC/example/mc2022_track3_003.cnf
third_party/GPMC/example/mc2022_track3_003.nnf
third_party/GPMC/flow-cutter-pace17/CMakeLists.txt
third_party/GPMC/flow-cutter-pace17/LICENSE
third_party/GPMC/flow-cutter-pace17/Makefile
third_party/GPMC/flow-cutter-pace17/README.md
third_party/GPMC/flow-cutter-pace17/build.sh
third_party/GPMC/flow-cutter-pace17/src/array_id_func.h
third_party/GPMC/flow-cutter-pace17/src/back_arc.h
third_party/GPMC/flow-cutter-pace17/src/cch_order.h
third_party/GPMC/flow-cutter-pace17/src/cell.cpp
third_party/GPMC/flow-cutter-pace17/src/cell.h
third_party/GPMC/flow-cutter-pace17/src/chain.h
third_party/GPMC/flow-cutter-pace17/src/connected_components.h
third_party/GPMC/flow-cutter-pace17/src/contraction_graph.h
third_party/GPMC/flow-cutter-pace17/src/count_range.h
third_party/GPMC/flow-cutter-pace17/src/filter.h
third_party/GPMC/flow-cutter-pace17/src/flow_cutter.h
third_party/GPMC/flow-cutter-pace17/src/flow_cutter_config.h
third_party/GPMC/flow-cutter-pace17/src/greedy_order.cpp
third_party/GPMC/flow-cutter-pace17/src/greedy_order.h
third_party/GPMC/flow-cutter-pace17/src/heap.h
third_party/GPMC/flow-cutter-pace17/src/histogram.h
third_party/GPMC/flow-cutter-pace17/src/id_func.h
third_party/GPMC/flow-cutter-pace17/src/id_func_traits.h
third_party/GPMC/flow-cutter-pace17/src/id_multi_func.h
third_party/GPMC/flow-cutter-pace17/src/id_sort.h
third_party/GPMC/flow-cutter-pace17/src/io_helper.h
third_party/GPMC/flow-cutter-pace17/src/list_graph.cpp
third_party/GPMC/flow-cutter-pace17/src/list_graph.h
third_party/GPMC/flow-cutter-pace17/src/min_max.h
third_party/GPMC/flow-cutter-pace17/src/multi_arc.h
third_party/GPMC/flow-cutter-pace17/src/node_flow_cutter.h
third_party/GPMC/flow-cutter-pace17/src/pace.cpp
third_party/GPMC/flow-cutter-pace17/src/permutation.h
third_party/GPMC/flow-cutter-pace17/src/preorder.h
third_party/GPMC/flow-cutter-pace17/src/range.h
third_party/GPMC/flow-cutter-pace17/src/separator.h
third_party/GPMC/flow-cutter-pace17/src/sort_arc.h
third_party/GPMC/flow-cutter-pace17/src/tiny_id_func.h
third_party/GPMC/flow-cutter-pace17/src/tree.h
third_party/GPMC/flow-cutter-pace17/src/tree_decomposition.cpp
third_party/GPMC/flow-cutter-pace17/src/tree_decomposition.h
third_party/GPMC/flow-cutter-pace17/src/tree_node_ranking.h
third_party/GPMC/flow-cutter-pace17/src/union_find.h
third_party/GPMC/mpfr/README.md
third_party/GPMC/mpfr/changelog
third_party/GPMC/mpfr/copying.txt
third_party/GPMC/mpfr/mpreal.h
third_party/GPMC/mpfr/example/example.cpp
third_party/GPMC/mpfr/example/makefile
third_party/GPMC/mtl/Alg.h
third_party/GPMC/mtl/Alloc.h
third_party/GPMC/mtl/Heap.h
third_party/GPMC/mtl/IntTypes.h
third_party/GPMC/mtl/Map.h
third_party/GPMC/mtl/Queue.h
third_party/GPMC/mtl/Sort.h
third_party/GPMC/mtl/Vec.h
third_party/GPMC/mtl/XAlloc.h
third_party/GPMC/mtl/config.mk
third_party/GPMC/mtl/template.mk
third_party/GPMC/preprocessor/IFlowCutter.cc
third_party/GPMC/preprocessor/IFlowCutter.h
third_party/GPMC/preprocessor/Preprocessor.cc
third_party/GPMC/preprocessor/Preprocessor.h
third_party/GPMC/preprocessor/TestSolver.cc
third_party/GPMC/preprocessor/TestSolver.h
third_party/GPMC/preprocessor/TreeDecomposition.cc
third_party/GPMC/preprocessor/TreeDecomposition.h
third_party/GPMC/preprocessor/lib_sharpsat_td/LICENSE
third_party/GPMC/preprocessor/lib_sharpsat_td/README.txt
third_party/GPMC/preprocessor/lib_sharpsat_td/bitset.hpp
third_party/GPMC/preprocessor/lib_sharpsat_td/subsumer.cpp
third_party/GPMC/preprocessor/lib_sharpsat_td/subsumer.hpp
third_party/GPMC/preprocessor/lib_sharpsat_td/utils.hpp
third_party/GPMC/utils/Makefile
third_party/GPMC/utils/Options.cc
third_party/GPMC/utils/Options.h
third_party/GPMC/utils/ParseUtils.h
third_party/GPMC/utils/System.cc
third_party/GPMC/utils/System.h