Add a fully fledged Clause
type, rename old Clause
to ClauseKind
#94155
Job | Run time |
---|---|
0s | |
0s | |
0s | |
13m 48s | |
3m 12s | |
38m 16s | |
27m 51s | |
0s | |
0s | |
0s | |
0s | |
1h 23m 7s |