Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
Adds functions to run conjecturing only on graphs with precomputed values for the given properties/invariants.
precomputed_only_property_conjecture and precomputed_only_invariant_conjecture.
Issue #510
Adds functions to run conjecturing only on graphs with precomputed values for the given properties/invariants.
precomputed_only_property_conjecture
andprecomputed_only_invariant_conjecture
. Issue #510