le. This transformation is not always optimal, that is,
    one might be able to devise a better constraint manually.
  <P>
    Note also that since the linear module extensively
    performs folding of constant expressions,
    it eventually might exceed the implementation specific
    integer constant limit of finite domain constraints.
    In such a case, folding can be prevented by introducing a finite domain
    variable that is assigned a singleton value.
  </P>

<?php section("import", "import"); ?>
