smt-lang (cargo): Sat Modulo Theory Language
Keywords: solver|language|smt|z3