feat: case
and if
for branching in rule synthesis.
#10
Job | Run time |
---|---|
2m 36s | |
2m 36s |
case
and if
for branching in rule synthesis.
#10
Job | Run time |
---|---|
2m 36s | |
2m 36s |