building a counterexample-discovery program stemming from a 20-vertex graph and actual patterns I guess - View it on GitHub