I found this interesting terminology on a wiki walk
This is far more evocative terminology than UNSAT/unsatisfied, and also
makes for good haskell like variable names.
- An edge is satisfied if some equation
y = f(x) is satisfied .
- Otherwise, the edge is said to be frustrated .
ss for satisfied equations,
fs for frustrated equations!