package voqc

  1. Overview
  2. No Docs
A verified optimizer for quantum circuits (VOQC)

Install

github.com Edit opam file

Authors

  1. K
    Kesha Hietala

Maintainers

  1. K
    kesha@cs.umd.edu

Sources

voqc-0.3.0.tbz
sha256=2a3e0d30bb1e25ccb9d985e04aa4fee5938344f772fb50f8f2a8f76d54b0391c
sha512=111310892e284d4dc07049d56b1666419bb0f10bf396d9986947833184c1b15c961fa44923b5962f0d0b25d3a97a622a6231ae4b085545b6c5733bfbf87ea8e6

Description

OCaml library for VOQC, a Verified Optimizer for Quantum Circuits

Published: 08 Jul 2022

Dependencies (4)

  1. zarith >= "1.5"
  2. openQASM
  3. ocaml >= "4.08" & < "5.0"
  4. dune >= "2.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None