smtlib-build-util (cargo): The build utils for building the smtlib family of crates
Keywords: rust|smt|smtlib