Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
After each property definition on properties.sage, there should immediately be a call to add_to_lists to put the newly defined property in a correct list.
After each property definition on properties.sage, there should immediately be a call to add_to_lists to put the newly defined property in a correct list.