[C, S] DSE constraint set wizard
Wizard for selecting a constraint sub-set which will be used for a synthesis method.
- right: Checkbox based tree viewer
- left: meta-info about the set (name, date, author, comment, …)
(from redmine: issue id 2524, created on 2016-03-11, closed on 2016-08-01)
- Relations:
- parent #2522 (closed)
- Uploads: