smt2patch (cargo): Library and binary tool to patch SMT2 files
Keywords: solver|smt|smt-lib