GraphCellList | Shows the graphs and invariants that are available to the conjecturing engine as a GraphCellList. |
InvariantTable | Shows the graphs and invariants that are available to the conjecturing engine as a InvariantTable. |
GraphList | Shows the graphs and invariants that are available to the conjecturing engine as a GraphList. |