Opam Package voqc.0.2.0

Package info

opam-namevoqc
opam-version0.2.0
synopsisA verified optimizer for quantum circuits (VOQC)
descriptionOCaml library for VOQC, a Verified Optimizer for Quantum Circuits
authors
  • Kesha Hietala
homepagehttps://github.com/inQWIRE/mlvoqc
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

voqc

Package files

lib/voqc/voqc__UnitaryListRepresentation.cmx
lib/voqc/voqc__UnitaryListRepresentation.cmti
lib/voqc/voqc__UnitaryListRepresentation.cmt
lib/voqc/voqc__UnitaryListRepresentation.cmi
lib/voqc/voqc__StandardGateSet.cmx
lib/voqc/voqc__StandardGateSet.cmti
lib/voqc/voqc__StandardGateSet.cmt
lib/voqc/voqc__StandardGateSet.cmi
lib/voqc/voqc__SimpleMapping.cmx
lib/voqc/voqc__SimpleMapping.cmt
lib/voqc/voqc__SimpleMapping.cmi
lib/voqc/voqc__RzQGateSet.cmx
lib/voqc/voqc__RzQGateSet.cmti
lib/voqc/voqc__RzQGateSet.cmt
lib/voqc/voqc__RzQGateSet.cmi
lib/voqc/voqc__RotationMerging.cmx
lib/voqc/voqc__RotationMerging.cmt
lib/voqc/voqc__RotationMerging.cmi
lib/voqc/voqc__Qreals.cmx
lib/voqc/voqc__Qreals.cmt
lib/voqc/voqc__Qreals.cmi
lib/voqc/voqc__Qasm.cmx
lib/voqc/voqc__Qasm.cmti
lib/voqc/voqc__Qasm.cmt
lib/voqc/voqc__Qasm.cmi
lib/voqc/voqc__PeanoNat.cmx
lib/voqc/voqc__PeanoNat.cmt
lib/voqc/voqc__PeanoNat.cmi
lib/voqc/voqc__OrderedTypeEx.cmx
lib/voqc/voqc__OrderedTypeEx.cmt
lib/voqc/voqc__OrderedTypeEx.cmi
lib/voqc/voqc__Optimize1qGates.cmx
lib/voqc/voqc__Optimize1qGates.cmt
lib/voqc/voqc__Optimize1qGates.cmi
lib/voqc/voqc__NotPropagation.cmx
lib/voqc/voqc__NotPropagation.cmt
lib/voqc/voqc__NotPropagation.cmi
lib/voqc/voqc__Main.cmx
lib/voqc/voqc__Main.cmti
lib/voqc/voqc__Main.cmt
lib/voqc/voqc__Main.cmi
lib/voqc/voqc__Layouts.cmx
lib/voqc/voqc__Layouts.cmt
lib/voqc/voqc__Layouts.cmi
lib/voqc/voqc__IBMGateSet.cmx
lib/voqc/voqc__IBMGateSet.cmti
lib/voqc/voqc__IBMGateSet.cmt
lib/voqc/voqc__IBMGateSet.cmi
lib/voqc/voqc__HadamardReduction.cmx
lib/voqc/voqc__HadamardReduction.cmt
lib/voqc/voqc__HadamardReduction.cmi
lib/voqc/voqc__GateCancellation.cmx
lib/voqc/voqc__GateCancellation.cmt
lib/voqc/voqc__GateCancellation.cmi
lib/voqc/voqc__FSetAVL.cmx
lib/voqc/voqc__FSetAVL.cmt
lib/voqc/voqc__FSetAVL.cmi
lib/voqc/voqc__FMapAVL.cmx
lib/voqc/voqc__FMapAVL.cmt
lib/voqc/voqc__FMapAVL.cmi
lib/voqc/voqc__Datatypes.cmx
lib/voqc/voqc__Datatypes.cmt
lib/voqc/voqc__Datatypes.cmi
lib/voqc/voqc__ConnectivityGraph.cmx
lib/voqc/voqc__ConnectivityGraph.cmt
lib/voqc/voqc__ConnectivityGraph.cmi
lib/voqc/voqc__ChangeRotationBasis.cmx
lib/voqc/voqc__ChangeRotationBasis.cmt
lib/voqc/voqc__ChangeRotationBasis.cmi
lib/voqc/voqc__CXCancellation.cmx
lib/voqc/voqc__CXCancellation.cmt
lib/voqc/voqc__CXCancellation.cmi
lib/voqc/voqc__BinPosDef.cmx
lib/voqc/voqc__BinPosDef.cmt
lib/voqc/voqc__BinPosDef.cmi
lib/voqc/voqc__BinPos.cmx
lib/voqc/voqc__BinPos.cmt
lib/voqc/voqc__BinPos.cmi
lib/voqc/voqc__BinInt.cmx
lib/voqc/voqc__BinInt.cmt
lib/voqc/voqc__BinInt.cmi
lib/voqc/voqc__.ml
lib/voqc/voqc__.cmx
lib/voqc/voqc__.cmt
lib/voqc/voqc__.cmi
lib/voqc/voqc.cmxs
lib/voqc/voqc.cmxa
lib/voqc/voqc.cmx
lib/voqc/voqc.cmt
lib/voqc/voqc.cmi
lib/voqc/voqc.cma
lib/voqc/voqc.a
lib/voqc/opam
lib/voqc/dune-package
lib/voqc/Voqc.ml
lib/voqc/UnitaryListRepresentation.mli
lib/voqc/UnitaryListRepresentation.ml
lib/voqc/StandardGateSet.mli
lib/voqc/StandardGateSet.ml
lib/voqc/SimpleMapping.ml
lib/voqc/RzQGateSet.mli
lib/voqc/RzQGateSet.ml
lib/voqc/RotationMerging.ml
lib/voqc/Qreals.ml
lib/voqc/Qasm.mli
lib/voqc/Qasm.ml
lib/voqc/PeanoNat.ml
lib/voqc/OrderedTypeEx.ml
lib/voqc/Optimize1qGates.ml
lib/voqc/NotPropagation.ml
lib/voqc/Main.mli
lib/voqc/Main.ml
lib/voqc/META
lib/voqc/Layouts.ml
lib/voqc/IBMGateSet.mli
lib/voqc/IBMGateSet.ml
lib/voqc/HadamardReduction.ml
lib/voqc/GateCancellation.ml
lib/voqc/FSetAVL.ml
lib/voqc/FMapAVL.ml
lib/voqc/Datatypes.ml
lib/voqc/ConnectivityGraph.ml
lib/voqc/ChangeRotationBasis.ml
lib/voqc/CXCancellation.ml
lib/voqc/BinPosDef.ml
lib/voqc/BinPos.ml
lib/voqc/BinInt.ml
lib/voqc
doc/voqc/README.md
doc/voqc/LICENSE
doc/voqc/CHANGES.md
doc/voqc