CI

Install cadical headers #645

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	3m 49s
ubuntu-latest:bitwuzla	3m 22s
ubuntu-latest:cvc5	13m 56s
ubuntu-latest:msat	2m 22s
ubuntu-latest:yices2	2m 32s
ubuntu-latest:z3	13m 8s
macos-latest:btor	3m 18s
macos-latest:bitwuzla	2m 48s
macos-latest:cvc5	9m 37s
macos-latest:msat	2m 4s
macos-latest:yices2	2m 56s
macos-latest:z3	6m 27s
	1h 6m 19s