voqcversion
A verified optimizer for quantum circuits (VOQC)
OCaml library for VOQC, a Verified Optimizer for Quantum Circuits
| Author | Kesha Hietala |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/inQWIRE/mlvoqc |
| Issue Tracker | https://github.com/inQWIRE/mlvoqc/issues |
| Maintainer | kesha@cs.umd.edu |
| Dependencies | |
| Source [http] | https://github.com/inQWIRE/mlvoqc/archive/refs/tags/0.1.tar.gz md5=ae565ada77a1fbc4387a3b91fd703680 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/voqc/voqc.0.1/opam |
No package is dependent
