package voqc
A verified optimizer for quantum circuits (VOQC)
Install
Dune Dependency
Authors
Maintainers
Sources
voqc-0.3.0.tbz
sha256=2a3e0d30bb1e25ccb9d985e04aa4fee5938344f772fb50f8f2a8f76d54b0391c
sha512=111310892e284d4dc07049d56b1666419bb0f10bf396d9986947833184c1b15c961fa44923b5962f0d0b25d3a97a622a6231ae4b085545b6c5733bfbf87ea8e6
CHANGES.md.html
0.3.0 (2022-07-07)
Added support for a new mapping validation function (
check_swap_equivalence
).Updated the interfaces of mapping-related functions.
Generally improved organization and documentation.
Moved benchmarking scripts to VOQC-benchmarks.
0.2.1 (2021-06-21)
Updated to the most recent version of SQIR & extracted using Coq v8.13.2.
The only change in SQIR that impacts the behavior of mlvoqc is that Optimize1qGates now merges as many gates as possible instead of just two at a time.
0.2.0 (2021-04-07)
Various updates to documentation and scripts.
Switched to using dune-release for publishing.
0.1 (2021-03-30)
Initial release.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>