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