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!