![]() |
YAP 7.1.0
|
This file implements a very simple interval solver designed to interact with the exo data-base. More...
Go to the source code of this file.
This file implements a very simple interval solver designed to interact with the exo data-base.
It assumes simple queries and a contiguous interval, and does not really expect to do non-trivial constraint propagation and solving
Definition in file exo_interval.yap.