Choose the component which should be designed in the top right corner
Go through the requirement categories on the left side and insert the desired options
Fields can be left empty
The more restrictive the values the faster the reasoning, but with fewer solutions
Use "Expert Mode" for more advanced options which are typically not required
A set of working and realistic requirements are located @TODO
Go to "Optimization" tab to allow deviations for some requirements
Insert deviations to find solutions which are close to the desired boundaries
The deviation and priority are used to perform a rating on the solutions, for finding the best fitting solution
Use the priority to adjust the rating. A requirement with priority 0 will have no influence on the rating functions
Got to "Solution" tab to start the reasoning
The reasoning process is visible at the bottom
When the reasoning is finished a list of solutions is visualized
Use List or Table view to inspect the design solutions
Change order by any calculated property
Filter the presented properties and components by the "Select ... to show" drop-down (click again on drop-down to apply changes) and the nearby check-box
Highlight specific components or values with the search
Export inferred design solutions in an ontology by clicking on "Save solutions" (This can also be useful to inspect each reasoning step with intermediate results)
Click on any solution (component or property) to generate a composed visualization of the solution with the containing components and calculated properties. This can be exported as PDF.
Adapt requirements to refine the solutions in a further reasoning step
Tips & Tricks
When requirements are less restrictive the reasoning can take a long time
Reasoning can be aborted by closing the program (if it does not response close the cmd/bash by pressing CTRL+C in the cmd/bash)