exe:demoAERN-Real-Double-Riemann
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.