Hichem R. A. authored 2 years ago and François Bobot committed 2 years ago

- Generalized, Efficient Array Decision Procedures
- Sharing is Caring

  Since it is deprecated but the new version is not available

  and start adding generic version for interval

  Memorylimit with 20G reached on exemple of union.mlw

     So this one must be generated static

  - Add higher order functions
  - Not yet supported in Colibri2

    - But in order to be really useful in fourier factorization is needed

 Modifications made by François Bobot, Stéphane Graham-Lengrand and Guillaume
 Bury. The witan licence has been used for the files not mainly modified by Bobot