Interval arithmetic for Ada 1.10

Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. It includes arithmetic and relational operations.Examples:Tri-state logicThe package Intervals serves as a root package and also provides tri-state logic...