Dependencies for aern2-mp-0.1.4

library

Flags

NameDescriptionDefaultType
usecdar

Use CDAR (mBound branch) as an Integer-only backend instead of MPFR

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info