Refactor MPSat custom properties dialog
Registered by
Danil Sokolov
Clear up the MPSat dialogue window by remove redundant items.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Low
- Drafter:
- Danil Sokolov
- Direction:
- Needs approval
- Assignee:
- None
- Definition:
- Approved
- Series goal:
- None
- Implementation:
- Implemented
- Milestone target:
- 3.0.4
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Related branches
Related bugs
Sprints
Whiteboard
(?)
Work Items
Work items:
Remove verbosity level: DONE
Remove property name: DONE
Move max solution number to the solutions line: DONE
Adjust the window size with/without Reach panel: DONE
Add satisfiable/
Format Preset, Mode and Solutions elements: DONE