-
Alexander Diewald authored
* Enable specifying the exploration type for each IDSEBackend: Feasiblity checking and optimization. * Enable selecting the IDSEBackend in the UI subject to the exploration and synthesis type. Issue-Ref: 3541 Issue-Url: https://af3-developer.fortiss.org/issues/3541 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
cb7a85ce