Jens Petersen 2600e2dd52 add cvc5 for liquid-fixpoint tests (#7819)		2025-08-16 17:44:00 +08:00
..
01-build-server.sh
02-apt-get-install.sh	add cvc5 for liquid-fixpoint tests (#7819)	2025-08-16 17:44:00 +08:00
03-custom-install.sh
04-cleanup.sh