An object that provides read and write access to the configurable options of the SyReC parser and the various supported synthesis algorithms.
.. autoclass:: mqt.syrec.ConfigurableOptions
:undoc-members:
:members:
The following enum defines the integer constant truncation operations supported by the SyReC parser and the various supported synthesis algorithms.
.. autoclass:: mqt.syrec.IntegerConstantTruncationOperation
:undoc-members:
:members: