voqcversion

A verified optimizer for quantum circuits (VOQC)

OCaml library for VOQC, a Verified Optimizer for Quantum Circuits

AuthorKesha Hietala
LicenseMIT
Published
Homepagehttps://github.com/inQWIRE/mlvoqc
Issue Trackerhttps://github.com/inQWIRE/mlvoqc/issues
Maintainerkesha@cs.umd.edu
Dependencies
Source [http] https://github.com/inQWIRE/mlvoqc/releases/download/0.3.0/voqc-0.3.0.tbz
sha256=2a3e0d30bb1e25ccb9d985e04aa4fee5938344f772fb50f8f2a8f76d54b0391c
sha512=111310892e284d4dc07049d56b1666419bb0f10bf396d9986947833184c1b15c961fa44923b5962f0d0b25d3a97a622a6231ae4b085545b6c5733bfbf87ea8e6
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/voqc/voqc.0.3.0/opam
No package is dependent