smtlib-lowlevel is used at run time in 1 crate.

Depender (with downloads and own rev deps) smtlib-lowlevel version
600 smtlib ^0.2.0