.clang-format
.gitignore
.gitmodules
.lgtm.yml
CMakeLists.txt
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
cmake/FindZ3.cmake
extern/qfr/.clang-format
extern/qfr/.git
extern/qfr/.gitignore
extern/qfr/.gitmodules
extern/qfr/.lgtm.yml
extern/qfr/CMakeLists.txt
extern/qfr/LICENSE.md
extern/qfr/MANIFEST.in
extern/qfr/README.md
extern/qfr/pyproject.toml
extern/qfr/setup.py
extern/qfr/extern/functionality.dot.svg
extern/qfr/extern/functionality.svg
extern/qfr/extern/state_vector.dot.svg
extern/qfr/extern/state_vector.svg
extern/qfr/extern/dd_package/.clang-format
extern/qfr/extern/dd_package/.git
extern/qfr/extern/dd_package/.gitignore
extern/qfr/extern/dd_package/.gitmodules
extern/qfr/extern/dd_package/.lgtm.yml
extern/qfr/extern/dd_package/CMakeLists.txt
extern/qfr/extern/dd_package/LICENSE
extern/qfr/extern/dd_package/README.md
extern/qfr/extern/dd_package/include/dd/Complex.hpp
extern/qfr/extern/dd_package/include/dd/ComplexCache.hpp
extern/qfr/extern/dd_package/include/dd/ComplexNumbers.hpp
extern/qfr/extern/dd_package/include/dd/ComplexTable.hpp
extern/qfr/extern/dd_package/include/dd/ComplexValue.hpp
extern/qfr/extern/dd_package/include/dd/ComputeTable.hpp
extern/qfr/extern/dd_package/include/dd/Control.hpp
extern/qfr/extern/dd_package/include/dd/Definitions.hpp
extern/qfr/extern/dd_package/include/dd/Edge.hpp
extern/qfr/extern/dd_package/include/dd/Export.hpp
extern/qfr/extern/dd_package/include/dd/GateMatrixDefinitions.hpp
extern/qfr/extern/dd_package/include/dd/Node.hpp
extern/qfr/extern/dd_package/include/dd/NoiseOperationTable.hpp
extern/qfr/extern/dd_package/include/dd/Package.hpp
extern/qfr/extern/dd_package/include/dd/ToffoliTable.hpp
extern/qfr/extern/dd_package/include/dd/UnaryComputeTable.hpp
extern/qfr/extern/dd_package/include/dd/UniqueTable.hpp
extern/qfr/extern/json/.clang-format
extern/qfr/extern/json/.clang-tidy
extern/qfr/extern/json/.drone.yml
extern/qfr/extern/json/.git
extern/qfr/extern/json/.gitignore
extern/qfr/extern/json/CITATION.cff
extern/qfr/extern/json/CMakeLists.txt
extern/qfr/extern/json/CODE_OF_CONDUCT.md
extern/qfr/extern/json/ChangeLog.md
extern/qfr/extern/json/LICENSE.MIT
extern/qfr/extern/json/Makefile
extern/qfr/extern/json/README.md
extern/qfr/extern/json/appveyor.yml
extern/qfr/extern/json/meson.build
extern/qfr/extern/json/nlohmann_json.natvis
extern/qfr/extern/json/wsjcpp.yml
extern/qfr/extern/json/cmake/ci.cmake
extern/qfr/extern/json/cmake/config.cmake.in
extern/qfr/extern/json/cmake/download_test_data.cmake
extern/qfr/extern/json/cmake/nlohmann_jsonConfigVersion.cmake.in
extern/qfr/extern/json/cmake/pkg-config.pc.in
extern/qfr/extern/json/cmake/test.cmake
extern/qfr/extern/json/single_include/nlohmann/json.hpp
extern/qfr/extern/pybind11/.appveyor.yml
extern/qfr/extern/pybind11/.clang-format
extern/qfr/extern/pybind11/.clang-tidy
extern/qfr/extern/pybind11/.cmake-format.yaml
extern/qfr/extern/pybind11/.git
extern/qfr/extern/pybind11/.gitattributes
extern/qfr/extern/pybind11/.gitignore
extern/qfr/extern/pybind11/.pre-commit-config.yaml
extern/qfr/extern/pybind11/.readthedocs.yml
extern/qfr/extern/pybind11/CMakeLists.txt
extern/qfr/extern/pybind11/LICENSE
extern/qfr/extern/pybind11/MANIFEST.in
extern/qfr/extern/pybind11/README.rst
extern/qfr/extern/pybind11/noxfile.py
extern/qfr/extern/pybind11/pyproject.toml
extern/qfr/extern/pybind11/setup.cfg
extern/qfr/extern/pybind11/setup.py
extern/qfr/extern/pybind11/include/pybind11/attr.h
extern/qfr/extern/pybind11/include/pybind11/buffer_info.h
extern/qfr/extern/pybind11/include/pybind11/cast.h
extern/qfr/extern/pybind11/include/pybind11/chrono.h
extern/qfr/extern/pybind11/include/pybind11/common.h
extern/qfr/extern/pybind11/include/pybind11/complex.h
extern/qfr/extern/pybind11/include/pybind11/eigen.h
extern/qfr/extern/pybind11/include/pybind11/embed.h
extern/qfr/extern/pybind11/include/pybind11/eval.h
extern/qfr/extern/pybind11/include/pybind11/functional.h
extern/qfr/extern/pybind11/include/pybind11/gil.h
extern/qfr/extern/pybind11/include/pybind11/iostream.h
extern/qfr/extern/pybind11/include/pybind11/numpy.h
extern/qfr/extern/pybind11/include/pybind11/operators.h
extern/qfr/extern/pybind11/include/pybind11/options.h
extern/qfr/extern/pybind11/include/pybind11/pybind11.h
extern/qfr/extern/pybind11/include/pybind11/pytypes.h
extern/qfr/extern/pybind11/include/pybind11/stl.h
extern/qfr/extern/pybind11/include/pybind11/stl_bind.h
extern/qfr/extern/pybind11/include/pybind11/detail/class.h
extern/qfr/extern/pybind11/include/pybind11/detail/common.h
extern/qfr/extern/pybind11/include/pybind11/detail/descr.h
extern/qfr/extern/pybind11/include/pybind11/detail/init.h
extern/qfr/extern/pybind11/include/pybind11/detail/internals.h
extern/qfr/extern/pybind11/include/pybind11/detail/type_caster_base.h
extern/qfr/extern/pybind11/include/pybind11/detail/typeid.h
extern/qfr/extern/pybind11/include/pybind11/stl/filesystem.h
extern/qfr/extern/pybind11/pybind11/__init__.py
extern/qfr/extern/pybind11/pybind11/__main__.py
extern/qfr/extern/pybind11/pybind11/_version.py
extern/qfr/extern/pybind11/pybind11/commands.py
extern/qfr/extern/pybind11/pybind11/py.typed
extern/qfr/extern/pybind11/pybind11/setup_helpers.py
extern/qfr/extern/pybind11/tools/FindCatch.cmake
extern/qfr/extern/pybind11/tools/FindEigen3.cmake
extern/qfr/extern/pybind11/tools/FindPythonLibsNew.cmake
extern/qfr/extern/pybind11/tools/check-style.sh
extern/qfr/extern/pybind11/tools/cmake_uninstall.cmake.in
extern/qfr/extern/pybind11/tools/libsize.py
extern/qfr/extern/pybind11/tools/make_changelog.py
extern/qfr/extern/pybind11/tools/pybind11Common.cmake
extern/qfr/extern/pybind11/tools/pybind11Config.cmake.in
extern/qfr/extern/pybind11/tools/pybind11NewTools.cmake
extern/qfr/extern/pybind11/tools/pybind11Tools.cmake
extern/qfr/extern/pybind11/tools/pyproject.toml
extern/qfr/extern/pybind11/tools/setup_global.py.in
extern/qfr/extern/pybind11/tools/setup_main.py.in
extern/qfr/extern/pybind11_json/.git
extern/qfr/extern/pybind11_json/.gitignore
extern/qfr/extern/pybind11_json/CMakeLists.txt
extern/qfr/extern/pybind11_json/LICENSE
extern/qfr/extern/pybind11_json/README.md
extern/qfr/extern/pybind11_json/pybind11_jsonConfig.cmake.in
extern/qfr/extern/pybind11_json/include/pybind11_json/pybind11_json.hpp
extern/qfr/include/CircuitOptimizer.hpp
extern/qfr/include/Definitions.hpp
extern/qfr/include/QuantumComputation.hpp
extern/qfr/include/algorithms/BernsteinVazirani.hpp
extern/qfr/include/algorithms/Entanglement.hpp
extern/qfr/include/algorithms/GoogleRandomCircuitSampling.hpp
extern/qfr/include/algorithms/Grover.hpp
extern/qfr/include/algorithms/QFT.hpp
extern/qfr/include/algorithms/QPE.hpp
extern/qfr/include/algorithms/RandomCliffordCircuit.hpp
extern/qfr/include/dd/FunctionalityConstruction.hpp
extern/qfr/include/dd/Operations.hpp
extern/qfr/include/dd/Simulation.hpp
extern/qfr/include/operations/ClassicControlledOperation.hpp
extern/qfr/include/operations/CompoundOperation.hpp
extern/qfr/include/operations/NonUnitaryOperation.hpp
extern/qfr/include/operations/OpType.hpp
extern/qfr/include/operations/Operation.hpp
extern/qfr/include/operations/StandardOperation.hpp
extern/qfr/include/parsers/qasm_parser/Parser.hpp
extern/qfr/include/parsers/qasm_parser/Scanner.hpp
extern/qfr/include/parsers/qasm_parser/Token.hpp
extern/qfr/jkq/__init__.py
extern/qfr/mqt/qfr/CMakeLists.txt
extern/qfr/mqt/qfr/__init__.py
extern/qfr/mqt/qfr/bindings.cpp
extern/qfr/mqt/qfr/qiskit/QasmQobjExperiment.hpp
extern/qfr/mqt/qfr/qiskit/QuantumCircuit.hpp
extern/qfr/src/CMakeLists.txt
extern/qfr/src/CircuitOptimizer.cpp
extern/qfr/src/QuantumComputation.cpp
extern/qfr/src/algorithms/BernsteinVazirani.cpp
extern/qfr/src/algorithms/Entanglement.cpp
extern/qfr/src/algorithms/GoogleRandomCircuitSampling.cpp
extern/qfr/src/algorithms/Grover.cpp
extern/qfr/src/algorithms/QFT.cpp
extern/qfr/src/algorithms/QPE.cpp
extern/qfr/src/algorithms/RandomCliffordCircuit.cpp
extern/qfr/src/operations/NonUnitaryOperation.cpp
extern/qfr/src/operations/Operation.cpp
extern/qfr/src/operations/StandardOperation.cpp
extern/qfr/src/parsers/GRCSParser.cpp
extern/qfr/src/parsers/QASMParser.cpp
extern/qfr/src/parsers/QCParser.cpp
extern/qfr/src/parsers/RealParser.cpp
extern/qfr/src/parsers/TFCParser.cpp
extern/qfr/src/parsers/qasm_parser/Parser.cpp
extern/qfr/src/parsers/qasm_parser/Scanner.cpp
include/SatEncoder.hpp
include/Statistics.hpp
mqt.qusat.egg-info/PKG-INFO
mqt.qusat.egg-info/SOURCES.txt
mqt.qusat.egg-info/dependency_links.txt
mqt.qusat.egg-info/not-zip-safe
mqt.qusat.egg-info/top_level.txt
mqt/qusat/CMakeLists.txt
mqt/qusat/__init__.py
mqt/qusat/bindings.cpp
results/CS-127-07-03-2022.json
results/CS-20-07-03-2022.json
results/CS-5-07-03-2022.json
results/CS-65-07-03-2022.json
results/EC-07-03-2022.json
results/EC-08-03-2022.json
results/G-1-07-03-2022.json
results/G-2-07-03-2022.json
results/G-3-07-03-2022.json
results/QB-10-07-03-2022.json
results/QB-1000-07-03-2022.json
results/QB-250-07-03-2022.json
results/QB-50-07-03-2022.json
results/out1.csv
results/visualizer.py
src/CMakeLists.txt
src/SatEncoder.cpp