Memorylimit with 20G reached on exemple of union.mlw

  - Fix Interp when node has already a value
  - Finish intersection of union of interval

  The consequence was missing congruence closure

    terms can be grouped and scheduling of those decisions freezed

    Last decision and last effort made before contradiction should be useful so
    their priority is boosted.

    instantiate more rapidly reccursive definition.

Start proving union interval with Colibri2

See merge request !19

  - Allow theories to define symbols to skip for trigger computation
  - Arithmetic skips <= < > >=

  - Makes Ite lazy
  - Partial fix for enumeration of reccursive ADT
  - Fix propagation of AST tests

Fix artifact path for colibri2

See merge request !18

Separate Abs and Sign

See merge request !17

  add some tests

    Add colibri_abs_real

In order to not keep some and simplify the debug gui

Fp/ieee

See merge request !16

     regroup all in one job