- class Configuration.Execution#
Options that orchestrate the
- property nthreads#
Set the maximum number of threads to use. Defaults to the maximum number of available threads reported by the OS.
- property numerical_tolerance#
Set the numerical tolerance of the underlying decision diagram package. Defaults to
~2e-13and should only be changed by users who know what they are doing.
- property parallel#
Set whether execution should happen in parallel. Defaults to
- property run_alternating_checker#
Set whether the alternating checker should be executed. Defaults to
Truesince staying close to the identity can quickly show the equivalence of circuits in many cases.
- property run_construction_checker#
- property run_simulation_checker#
Set whether the simulation checker should be executed. Defaults to
Truesince simulations can quickly show the non-equivalence of circuits in many cases.
- property run_zx_checker#
Set whether the ZX-calculus checker should be executed. Defaults to
Truebut arbitrary multi-controlled operations are only partially supported.