Florian Hahn 0b28d756af
[ConstraintElimination] Add support for EQ predicates.
A == B map to A >= B && A <= B
(https://alive2.llvm.org/ce/z/_dwxKn).

This extends the constraint construction to return a list of
constraints, which can be used to properly de-compose nested AND & OR.
2021-02-01 20:48:31 +00:00
..
2020-11-15 19:52:59 -08:00
2020-11-17 20:41:05 -08:00
2021-01-23 10:56:33 -08:00
2021-01-23 10:56:33 -08:00
2021-01-23 10:56:33 -08:00
2021-01-16 09:40:55 -08:00