Skip to content
CI

Use CVC5 instead of Z3 #7

Sign in to view logs

Use CVC5 instead of Z3

Use CVC5 instead of Z3 #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check code
5m 9s
EN version
1m 26s
FR version
1m 27s
8m 2s