RSoegtrop comments

Repositories
Issues
Comments

Results 2 comments of


                                            RSoegtrop

Formula with same string representation compares as unequal

@baierd I looked into it and found: `equals` in `Z3Formula` uses `Native.isEqAst` which returns true, if the `long` representation of the AST's are equal. `bmgr.and(bmgr.and(var1, var2), bmgr.and(var3, var4))` and `bmgr.and(var1,...

CVC4 Incomplete Integer/Numeral Formula Managers

I will take a look.