def build_cnf(args): """Build the pebbling formula Arguments: - `args`: command line options """ D = DirectedAcyclicGraphHelper.obtain_graph(args) B = BipartiteGraphHelper.obtain_graph(args, suffix="_mapping") return SparseStoneFormula(D, B)
def build_cnf(args): """Build a Graph PHP formula according to the arguments Arguments: - `args`: command line options """ G = BipartiteGraphHelper.obtain_graph(args) return GraphPigeonholePrinciple(G, functional=args.functional, onto=args.onto)
def build_cnf(args): """Build the pebbling formula Arguments: - `args`: command line options """ D = DirectedAcyclicGraphHelper.obtain_graph(args) B = BipartiteGraphHelper.obtain_graph(args, suffix="_mapping") try: return SparseStoneFormula(D, B) except ValueError as e: print("\nError: {}".format(e), file=sys.stderr) sys.exit(-1)
def build_cnf(args): """Build the pebbling formula Arguments: - `args`: command line options """ D= DirectedAcyclicGraphHelper.obtain_graph(args) B= BipartiteGraphHelper.obtain_graph(args,suffix="_mapping") try: return SparseStoneFormula(D,B) except ValueError,e: print("\nError: {}".format(e),file=sys.stderr) sys.exit(-1)
def build_cnf(args): B = BipartiteGraphHelper.obtain_graph(args) return SubsetCardinalityFormula(B,args.equal)
def build_cnf(args): B = BipartiteGraphHelper.obtain_graph(args) return SubsetCardinalityFormula(B, args.equal)