Merge remote-tracking branch 'origin/master' into feature/array_theory_to_merge

.gitlab-ci.yml

colibri2.opam

colibri2/bin/dune

colibri2/core/choice_group.ml

colibri2/core/colibri2_core.mli

colibri2/core/ground.mli

colibri2/solver/input.ml

colibri2/solver/scheduler.ml

colibri2/stdlib/context.ml

colibri2/stdlib/context.mli

colibri2/tests/solve/all/both/ceil1.smt2

colibri2/tests/solve/all/both/ceil2.smt2

colibri2/tests/solve/all/both/dune

colibri2/tests/solve/all/both/dune.inc

colibri2/tests/solve/all/both/floor1.smt2

colibri2/tests/solve/all/unsat/dune.inc

colibri2/tests/solve/all/unsat/mjrty-Mjrty-mjrtyqtvc_3.psmt2

colibri2/tests/solve/all/unsat/wp_initialize.psmt2

colibri2/tests/solve/smt_nra/both/dune

colibri2/tests/solve/smt_nra/both/dune.inc