Interval arithmetic for Ada -


GMGPL
跨平台

软件简介

Interval arithmetic for Ada 提供实现 Ada 间隔的功能,包括算术和关系操作。