The latest version of AERN-Real-Double is 2011.1.0.2-0.
exe:benchAERN-Real-Double
Dependencies
- AERN-Basics lib:AERN-Basics ==2011.1
- AERN-Real lib:AERN-Real ==2011.1
- AERN-Real-Interval lib:AERN-Real-Interval ==2011.1
- base lib:base >=4 && <5
- criterion lib:criterion >=0.5 && <0.6
Reverse dependencies
None.