winnieros

314 adding the abstract numeric domains of the apron library as smt solver

3

Integration of the APRON Numeric Abstract Domain Library as a quasi SMT solver supporting Integer, Rational and Boolean. Problems with the implementation: - Apron doesn't support UFs, no evaluation with...

hasVar() for level 1

6

Hello, I noticed a potential bug with the hasVar() method for level 1 nodes. Here is a code snipped where hasVar() on level 1 returns false but if I transform...