Symbolic

[pehamTom]

This PR adds a representation for Quantum Circuits that have symbolic parameters. The symbolic computations are handled within the MQT ZX Package.

[codecov]

Codecov Report

Merging #199 (553e895) into main (6b897ff) will increase coverage by 0.4%.
The diff coverage is 93.9%.

@@           Coverage Diff           @@
##            main    #199     +/-   ##
=======================================
+ Coverage   84.1%   84.5%   +0.4%     
=======================================
  Files         48      51      +3     
  Lines       8268    8693    +425     
=======================================
+ Hits        6955    7352    +397     
- Misses      1313    1341     +28     

Impacted Files	Coverage Δ
include/Definitions.hpp	69.2% <ø> (-5.8%)	⬇️
include/operations/CompoundOperation.hpp	81.1% <0.0%> (-2.5%)	⬇️
include/operations/StandardOperation.hpp	100.0% <ø> (ø)
src/operations/SymbolicOperation.cpp	86.5% <86.5%> (ø)
include/operations/SymbolicOperation.hpp	91.6% <91.6%> (ø)
src/zx/FunctionalityConstruction.cpp	96.2% <95.6%> (-0.2%)	⬇️
include/QuantumComputation.hpp	94.1% <100.0%> (+0.1%)	⬆️
include/operations/Operation.hpp	93.9% <100.0%> (+0.3%)	⬆️
src/QuantumComputation.cpp	69.3% <100.0%> (+3.9%)	⬆️
src/operations/Operation.cpp	86.9% <100.0%> (+0.3%)	⬆️
... and 6 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[burgholzer]

Many thanks for this contribution. I just went through all the code and you can find my comments inline. Most of them should be fairly easy to address (const 😈 ). Maybe a handful probably require a small to medium effort.
I guess this should be ready to merge after that iteration.

[burgholzer]

LGTM. Ready to merge after all conversations have been resolved