EqualitySolver.Solver
eqF
eq
neq
var
fun
satisfiableInEq