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