next up previous index
Next: Additional Finite Domain Constraints Up: The Finite Domains Library Previous: Program Examples   Index

Current Known Restrictions and Bugs

1.
The default domain for integer finite domain variables is -10000000..10000000. Larger domains must be stated explicitly using the ::/2 predicate, however neither bound can be outside the long integer range (usually 32 bits).

2.
Linear integer terms are processed using long integers and thus if the maximum or minimum value of a linear term overflows this range (usually 32 bits), incorrect results are reported. This may occur if large coefficients are used, if domains are too large or a combination of the two.




1999-08-06