Resolving dependencies...
Downloading smtLib-1.0.9...
Configuring smtLib-1.0.9...
Building smtLib-1.0.9...
Installed smtLib-1.0.9