Cadical with preprocessor and local search #10579

Job	Run time
check-ubuntu-20_04-make-clang-smt-z3	3m 56s
check-ubuntu-20_04-make-gcc	18m 23s
check-macos-13-make-clang	1h 8m 4s
check-macos-14-cmake-clang	56m 42s
check-string-table	2m 7s
check-ubuntu-20_04-cmake-gcc	16m 35s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 58s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 18s
check-ubuntu-22_04-cmake-gcc	16m 23s
check-ubuntu-22_04-cmake-gcc-32bit	15m 14s
check-ubuntu-22_04-make-clang	17m 0s
check-ubuntu-24_04-cmake-gcc-14	16m 2s
check-vs-2019-cmake-build-and-test	31m 6s
check-vs-2022-make-build-and-test	19m 16s
windows-msi-package	4m 28s
check-docker-image	21m 3s
check-ubuntu-20_04-make-clang	23m 7s
include-what-you-use	22m 54s
	6h 5m 36s

Provide feedback