Solving Absolute Value Equations First, separate the absolute value expression from the rest of the equation. Identify whether it is a positive or negative value and how it will affect the ...

AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation. It implements the solving method presented in: "A Constraint Solver Based on Abstract Domains".