smtlib-lowlevel (cargo): A low-level API for interacting with SMT solvers
Keywords: rust|smt|smtlib