certified-str-solver