Execution#
- class Configuration.Execution#
Options that orchestrate the
run()
method.
- 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-13
and should only be changed by users who know what they are doing.
- property parallel#
Set whether execution should happen in parallel. Defaults to
True
.
- property run_alternating_checker#
Set whether the alternating checker should be executed. Defaults to
True
since staying close to the identity can quickly show the equivalence of circuits in many cases.
- property run_construction_checker#
Set whether the construction checker should be executed. Defaults to
False
since the alternating checker is to be preferred in most cases.
- property run_simulation_checker#
Set whether the simulation checker should be executed. Defaults to
True
since 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
True
but arbitrary multi-controlled operations are only partially supported.