test:Arith_Example2

Dependencies

• base lib:base >=4.7 && <5
• boolector lib:boolector >=0

Reverse dependencies

None.