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 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)
