Enable CaDiCaL support when building `boolector` #245

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, abc)	3m 56s
build (ubuntu-22.04, boolector)	2m 54s
build (ubuntu-22.04, cvc4)	10m 54s
build (ubuntu-22.04, cvc5)	11m 14s
build (ubuntu-22.04, yices)	2m 27s
build (ubuntu-22.04, z3-4.8.8)	7m 30s
build (ubuntu-22.04, z3-4.8.14)	10m 19s
build (ubuntu-20.04, abc)	3m 57s
build (ubuntu-20.04, boolector)	3m 4s
build (ubuntu-20.04, cvc4)	11m 57s
build (ubuntu-20.04, cvc5)	12m 22s
build (ubuntu-20.04, yices)	2m 23s
build (ubuntu-20.04, z3-4.8.8)	8m 24s
build (ubuntu-20.04, z3-4.8.14)	11m 50s
build (macos-12, abc)	5m 51s
build (macos-12, boolector)	4m 39s
build (macos-12, cvc4)	17m 25s
build (macos-12, cvc5)	25m 43s
build (macos-12, yices)	10m 53s
build (macos-12, z3-4.8.8)	16m 7s
build (macos-12, z3-4.8.14)	24m 6s
build (windows-2019, abc)	7m 48s
build (windows-2019, boolector)	5m 4s
build (windows-2019, cvc4)	18m 20s
build (windows-2019, cvc5)	17m 18s
build (windows-2019, yices)	9m 42s
build (windows-2019, z3-4.8.8)	11m 54s
build (windows-2019, z3-4.8.14)	15m 8s
mergify	1s
package_solvers (ubuntu-22.04)	14s
package_solvers (ubuntu-20.04)	20s
package_solvers (macos-12)	22s
package_solvers (windows-2019)	21s
	4h 54m 27s