Add proper support for :named smtlib annotations (#199)
#621
| Job | Run time |
|---|---|
| 8m 14s | |
| 8m 14s |
:named smtlib annotations (#199)
#621
| Job | Run time |
|---|---|
| 8m 14s | |
| 8m 14s |