Merge branch 'feature/fp-check' into 'master'

src_colibri2/core/colibri2_core.mli

src_colibri2/core/structures/nodes.ml

src_colibri2/core/structures/nodes.mli

src_colibri2/tests/solve/smt_fp/sat/dune

src_colibri2/tests/solve/smt_fp/sat/dune.inc

src_colibri2/tests/solve/smt_fp/sat/exists_eq_not_fp_eq.smt2

...ibri2/tests/solve/smt_fp/sat/inf_pos_neg_neq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/infm_eq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/infp_eq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/nan_neq_float32.smt2

...ibri2/tests/solve/smt_fp/sat/recognize_rounding_mode.smt2

src_colibri2/tests/solve/smt_fp/sat/rm_instanciation.smt2

src_colibri2/tests/solve/smt_fp/sat/rm_universal.smt2

src_colibri2/tests/solve/smt_fp/sat/simple_add_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/simple_eq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/simple_mul_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/to_fp_eq_float32.smt2

...bri2/tests/solve/smt_fp/sat/zero_pos_neg_neq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/zerom_eq_float32.smt2

src_colibri2/tests/solve/smt_fp/sat/zerop_eq_float32.smt2