a repository of open source, verifiably correct implementations of
interval arithmetic and interval constraints, and applications thereof.
A 100% java, verifiable implementation of interval arithmetic operations and primitive
constraint contractions for the arithmetic operators and the elementary
including provably correct implementations of the elementary functions
- iaeval a simple expression evaluator for intervals,
- giaeval an evaluator for interval expressions with open/closed endpoints,
An interval arithmetic evaluator written in the JScheme (formerly
Silk) dialect of Scheme.
A provably correct implementation of interval arithmetic operations and primitive constraint
contractors for the arithmetic operators (real, integer, and boolean), elementary functions
A foreign file extension of GNUProlog in which
interval arithmetic constraints are enclosed in
- RedHat Linux 6.1 on the PC and Macintosh OS X
Porting to other architectures should not be hard. The only non-portable code is that which
deals with setting the rounding modes!