Resolving dependencies...
Downloading  smtlib-backends-0.4
Downloaded   smtlib-backends-0.4
Starting     smtlib-backends-0.4
Building     smtlib-backends-0.4
Completed    smtlib-backends-0.4