Add support for MergeSat #9128

Job	Run time
check-ubuntu-20_04-cmake-gcc	37m 29s
check-ubuntu-20_04-make-clang	31m 45s
check-ubuntu-20_04-make-clang-smt-z3	15m 25s
check-ubuntu-20_04-make-gcc	33m 51s
check-macos-11-make-clang	1h 13m 27s
check-macos-12-cmake-clang	1h 22m 15s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	22m 4s
check-ubuntu-20_04-cmake-gcc-mergesat	1h 20m 18s
check-ubuntu-20_04-cmake-gcc-THOROUGH	25m 48s
check-ubuntu-22_04-cmake-gcc-13	35m 35s
check-ubuntu-22_04-cmake-gcc	36m 50s
check-ubuntu-22_04-make-clang	36m 38s
check-ubuntu-22_04-cmake-gcc-32bit	37m 33s
check-vs-2019-cmake-build-and-test	59m 53s
check-docker-image	19m 43s
check-string-table	2m 31s
check-vs-2022-make-build-and-test	45m 56s
codecov-coverage-report	58m 52s
include-what-you-use	26m 15s
windows-msi-package	21m 34s
	13h 3m 42s

Provide feedback