exe:demoAERN-Real-Double-Zero

Dependencies

• AERN-Basics lib:AERN-Basics ==2011.1.0.1
• AERN-Real lib:AERN-Real ==2011.1.0.1
• AERN-Real-Interval lib:AERN-Real-Interval ==2011.1.0.1
• QuickCheck lib:QuickCheck >=2.1 && <3
• base lib:base >=4 && <4.3
• ieee-utils lib:ieee-utils >=0.4 && <0.5

Reverse dependencies

None.