next up previous index
Next: Usage Up: RANGE: A Basis For Previous: RANGE: A Basis For   Index

Introduction

This library implements variables that range over integer or real intervals. It is meant to be used as a common basis for arithmetic constraint solvers, and it can serve as a mechanism to make such solvers communicate.




1999-08-06