# - For each edge, the flow is less than or equal to the capacity # - For each node except the source and sink, the sum of flows in equals sum of flows out # - Sum of flows out of source equals ...

@given(flow_graph=st.builds(nx.DiGraph, edges=st.lists(st.tuples(st.integers(min_value=0, max_value=100), st.integers(min_value=0, max_value=100)), min_size=0, max ...