I found this interesting terminology on a wiki walk
- 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!