lib:aern2-mfun

Modules

• AERN2.AD.Differential
• AERN2.AD.GenericOperations
• AERN2.AD.MPBallOperations
• AERN2.AD.Type
• AERN2.BoxFun.Box
• AERN2.BoxFun.Optimisation
• AERN2.BoxFun.TestFunctions
• AERN2.BoxFun.Type
• AERN2.Linear.Matrix.Inverse
• AERN2.Linear.Matrix.Type
• AERN2.Linear.Vector.Type
• AERN2.Util.Util

Dependencies

• aern2-fun lib:aern2-fun >=0.2.9
• aern2-mp lib:aern2-mp >=0.2.9
• base lib:base >=4 && <5
• collect-errors lib:collect-errors >=0.1.5
• mixed-types-num lib:mixed-types-num >=0.5.9
• vector lib:vector >=0

Reverse dependencies

Direct only. Not exhaustive.

• LPPaver exe:lppaver
• LPPaver lib:LPPaver
• LPPaver test:LPPaver-test
• PropaFP exe:propafp-prettify
• PropaFP exe:propafp-run-dreal
• PropaFP exe:propafp-run-lppaver
• PropaFP exe:propafp-run-metitarski
• PropaFP exe:propafp-translate-dreal
• PropaFP exe:propafp-translate-metitarski
• PropaFP lib:PropaFP
• PropaFP test:PropaFP-test
• aern2-mfun exe:aern2-mfun-benchmark-optimisation