Skip to content
CI

Use CVC5 instead of Z3 #8

Sign in to view logs

Use CVC5 instead of Z3

Use CVC5 instead of Z3 #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
FR version
3m 34s
EN version
3m 12s
Check code
5m 8s
11m 54s