voqc
A verified optimizer for quantum circuits (VOQC)
IN THIS PACKAGE
-
library voqc
-
module Voqc
-
module Main
-
module Qasm
-
module StandardGateSet
-
module StandardGateSet
-
-
module UnitaryListRepresentation
-
-
Libraries
This package provides the following libraries (via dune):
voqc
Documentation: Voqc
Dependencies: openQASM, unix, zarith