Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) #10571

Job	Run time
check-macos-13-make-clang	1m 7s
check-macos-14-cmake-clang	48m 20s
check-ubuntu-20_04-cmake-gcc	2m 48s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	40s
check-ubuntu-20_04-cmake-gcc-THOROUGH	1m 44s
check-ubuntu-20_04-make-clang	2m 16s
check-ubuntu-20_04-make-clang-smt-z3	55s
check-ubuntu-20_04-make-gcc	10m 45s
check-ubuntu-22_04-cmake-gcc	1m 48s
check-ubuntu-22_04-cmake-gcc-32bit	45s
check-ubuntu-22_04-make-clang	46s
check-ubuntu-24_04-cmake-gcc-14	42s
check-vs-2019-cmake-build-and-test	21m 23s
check-vs-2022-make-build-and-test	1m 57s
check-docker-image	9m 47s
windows-msi-package	21m 9s
check-string-table	2m 11s
include-what-you-use	22m 56s
	2h 31m 59s

Provide feedback