Better reccursive function handling

• Use new define-fun-rec in order to instantiate more rapidly
• unrelated, last lasteffort instanciation are useful and their priority bumped

added 3 commits

• 986c1619 - Add term only propagated
• 64155f03 - [LRA] propagate disequality with interval domain
• d5c49f4f - [Quantifier] Fix useless application criteria

Compare with previous version

added 3 commits

• 79a8d4d6 - [Union] Intersection is complete and proved
• af9218d5 - New union
• 3cd52914 - Add more complicated example on mult

Compare with previous version

added 1 commit

• 4f4b7dcb - Add more complicated example on mult

Compare with previous version

added 2 commits

• ee407a07 - get_value of not already added uninterpreted terms
• 255d0745 - Allows to propagate LastEffortUncontextual before their addition

Compare with previous version

added 1 commit

• 875f8b89 - Add limit on last effort

Compare with previous version

added 7 commits

• 00c60ba2 - Add union of union of interval
• 44c8b7b0 - Proof of mem and except
• c4bf7062 - Fix except by proving completeness
• 08afcef7 - Add interval first part
• 532c260b - Simplification add_interval
• 89966f28 - Replace Fourier-Motskin by Simplex (ocplib-simplex)
• b80c45b5 - Propagate distances between nodes that are between -1 < . < 1

Compare with previous version

enabled an automatic merge when the pipeline for b80c45b5 succeeds

aborted the automatic merge because source branch was updated

added 3 commits

• 9cf9b1f8 - Propagate distances between nodes that are between -1 < . < 1
• 62d56713 - Theories can add commandline options
• 063327e2 - [Demon] Fix missing attachment using the monad

Compare with previous version

added 1 commit

• 95a9c70f - [Simplex] Don't create new terms only add propagations

Compare with previous version

added 2 commits

• 8d2af582 - [Context] Fix Cliquet, useful FullEffort were lost
• 65654640 - [Union] union of interval simplified with only one type

Compare with previous version

added 1 commit

• b2c843e1 - Add qcheck dependency

Compare with previous version

added 1 commit

• c9b4f981 - Add qcheck dependency

Compare with previous version

added 1 commit

• 45d9230f - Add qcheck dependency

Compare with previous version

added 1 commit

• c959dceb - Update Dolmen

Compare with previous version

added 1 commit

• a9b03a94 - Update Dolmen

Compare with previous version

added 1 commit

• 92eb05e6 - update opam version

Compare with previous version

mentioned in commit 316f2952

merged