a recent difficult question of interest to the group[1] by GB has possibly led to verification of a new graph new property by dspyz, by use of Answer Set Programming/ASP. via sophisticated logic principles/algorithms remarkably this software can verify a complex property of graphs apparently with...