Conjecturing Window

The conjecturing window consists of three parts. Above you can see the graphs and invariants that are available to the conjecturing engine. You can add graphs and invariants to this list by dropping them there. In the middle you see a section with the main invariant chooser and the conjecture button. At the bottom you can see the output from the conjecturing engine.