EqualitySolver-0.1.0.2: A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality

Index

ArityEqualitySolver.Solver
eqEqualitySolver.Solver
eqFEqualitySolver.Solver
EqFormulaEqualitySolver.Solver
EqLiteralEqualitySolver.Solver
EqTermEqualitySolver.Solver
funEqualitySolver.Solver
NameEqualitySolver.Solver
neqEqualitySolver.Solver
satisfiableInEqEqualitySolver.Solver
varEqualitySolver.Solver