文件名称：mlvoqc:从Coq VOQC优化器提取的OCaml代码
文件大小：64KB
文件格式：ZIP
更新时间：2024-04-28 01:31:46
OCaml
mlvoqc 该存储库包含用于运行VOQC量子电路编译器的OCaml代码[1]。 从VOQC目录中的已验证Coq定义中提取以ml/extracted为单位的.ml文件。 有关如何从我们的Coq定义中重新生成提取的OCaml代码的说明，请参见下面的。 *目录中的voqc-cli.ml提供了一个简单的命令行界面，用于与VOQC编译器进行交互。 下面给出了编译和运行voqc-cli.ml的说明。 但是，我们建议使用可用的Python包装器。 pyvoqc存储库还包括一个教程。 可在benchmarks目录中找到在本文所述基准上运行VOQC的脚本。 有关更多信息，请参见该目录中的自述文件。 设置 VOQC需要OCaml（版本> = 4.08.1）， 和沙丘。 安装好opam后，请按照以下说明设置您的环境。 # environment setup opam init eval $(opam
【文件预览】：
mlvoqc-main
----ml()
--------Qasm.mli(296B)
--------dune(130B)
--------Qasm.ml(12KB)
--------Voqc.ml(564B)
--------extracted()
----dune(50B)
----.gitmodules(219B)
----CHANGES.md(205B)
----benchmarks()
--------verifyEquality.py(827B)
--------run_voqc.sh(4KB)
--------VOQC-benchmarks()
--------rzq_to_rz.py(1KB)
--------validate_outputs.sh(825B)
--------parseOutput.py(2KB)
--------run_pyzx.py(1KB)
--------run_qiskit.py(5KB)
--------validate_outputs_fail.sh(636B)
--------README.md(2KB)
--------run_tket.py(3KB)
--------run_voqc_artifact.sh(2KB)
--------create_tables.py(6KB)
----dune-project(414B)
----voqc.opam(722B)
----voqc_cli.ml(8KB)
----extraction()
--------SQIR()
--------extract.sh(1KB)
--------Extraction.v(15KB)
----LICENSE(1KB)
----README.md(6KB)
----Makefile(153B)
----API.md(15KB)
----.gitignore(300B)