An edge is satisfied if some equation y = f(x) is satisfied .

Otherwise, the edge is said to be frustrated .

This is far more evocative terminology than UNSAT/unsatisfied, and also
makes for good haskell like variable names. ss for satisfied equations,
fs for frustrated equations!