Select Git revision
count_cdc.py
Radek Hušek authored
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)