ByNobleID
    SAT Modulo Symmetries for Graph Generation | NobleID