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

Depender (with downloads and own rev deps) smtlib-lowlevel version
280 smtlib ^0.3.0