# Table 3 Comparison of Eldarica configurations *math* and *ilp32*

From: Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic

Skip to main content
# Table 3 Comparison of Eldarica configurations *math* and *ilp32*

From: Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic