{"ref":"precompute-efficient-properties-4","ref_type":"branch","master_branch":"master","description":"Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/","pusher_type":"user"}
{"actor":{"display_login":"yirkajk"}}