voqc

A verified optimizer for quantum circuits (VOQC)
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

voqc

Documentation: Voqc

Dependencies: openQASM, unix, zarith