Skip to content
Snippets Groups Projects
Select Git revision
  • 923e2c4de804d8ea734628de0a0be108a7979101
  • master default protected
2 results

count_cdc.py

Blame
  • count_cdc.py 401 B
    #!/usr/bin/python
    
    import sys
    import os
    from flower_snarks import *
    from sage.all import Graph
    from parmap import parmap
    
    def process(g6):
      g6 = g6.rstrip()
      ret = count_cdc_naive(Graph(g6))
      return "%s %s %s" % (g6, ret, ret[0] >= ret[1])
    
    inp = [ l for l in sys.stdin ]
    
    nprocs = int(os.getenv("NPROCS", "0")) or None
    for ret in parmap(process, inp, nprocs=nprocs, in_order=False):
      print(ret)