amzn-smt-ir (cargo): Intermediate representation for SMT problems
Keywords: solver|smt|smt-lib