• In the top, the menus (described below);
• In the left, the Dominoes List (assembled based on the opened PROV-N or imported CES Script;
• In the middle, the Canvas, where combinations and transformations take place; and
• In the right, the Visualization Tabs.

Menus

Prov-Dominoes

• Open PROV-N: Opens one or multiple PROV-N files.

• Export to Script: Export the History Command Tree to a CES Script.

• Import from Script: Import the commands in a CES Script.

• Import matrices: Generates dominoes for matrices in the MATRIX Format (".matrix").

• Exit: Closes the application.

Edit

• Undo: Undo the last command.

• Redo: Redo the last command.

• Clear: Clear the canvas.

Processing

• Telemetry: Outputs log information to the Java Console.

• Tuning: Performs faster by avoiding additional checks: e.g, equally sorting the dominoes while combining to assure coherence.

• CPU: Selects the CPU mode.

• GPU: Selects the GPU mode.

• Device: When in GPU mode, selects which GPU device.

View

• Full Screen: Enters in full screen mode.

• View History Graph: Exhibits the Command History Tree.

• Show Cell Values: Exhibits the cell values in the matrix of the domino.

• Show Historic: Exhibits the domino historic (aggregated combinations) on the domino.

• Show Type: Exhibits the domino type on the domino.